Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-36435
Volltext verfügbar? / Dokumentlieferung
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 UdsID
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.