Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
Volltext verfügbar? / Dokumentlieferung
doi:10.22028/D291-36435
Dateien zu diesem Datensatz:
Es gibt keine Dateien zu dieser Ressource.
Titel: | From Specification to Implementation of an Automotive Transport System |
VerfasserIn: | Khlifi, Oussama Siegwart, Christian Mosbahi, Olfa Khalgui, Mohamed Frey, Georg ![]() |
HerausgeberIn: | Cabello, Enrique Cardoso, Jorge Maciaszek, Leszek A. Sinderen, Marten van |
Sprache: | Englisch |
In: | |
Titel: | Software technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers |
Startseite: | 49 |
Endseite: | 68 |
Verlag/Plattform: | Springer |
Erscheinungsjahr: | 2018 |
Erscheinungsort: | Cham |
Konferenzort: | Madrid, Spain |
Freie Schlagwörter: | Requirement specification Adaptive systems Statecharts Modeling |
DDC-Sachgruppe: | 600 Technik |
Dokumenttyp: | Konferenzbeitrag (in einem Konferenzband / InProceedings erschienener Beitrag) |
Abstract: | Reconfiguration is often a major undertaking for systems because it can violate memory usage, the required energy and the concerned real-time constraints. The languages in which adaptive probabilistic systems are specified should be clear and intuitive, and thus accessible to generation, inspection and modification by humans. This paper introduces a new specification approach for adaptive probabilistic discrete event systems running under resources constraints. The semantics of the formalism GR-TNCES are presented to optimize the specification approach and applied to specify the requirements of an automotive transport system to prove its relevance. Then, we model, simulate and implement the proposed case study. |
DOI der Erstveröffentlichung: | 10.1007/978-3-319-93641-3_3 |
URL der Erstveröffentlichung: | https://link.springer.com/chapter/10.1007/978-3-319-93641-3_3 |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-364351 hdl:20.500.11880/33081 http://dx.doi.org/10.22028/D291-36435 |
ISBN: | 978-3-319-93641-3 978-3-319-93640-6 |
Datum des Eintrags: | 10-Jun-2022 |
Bemerkung/Hinweis: | Communications in computer and information science ; 868 |
Fakultät: | NT - Naturwissenschaftlich- Technische Fakultät |
Fachrichtung: | NT - Systems Engineering |
Professur: | NT - Prof. Dr. Georg Frey |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.