Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Assessing the User-Perceived Quality of Source Code Components Using Static Analysis Metrics Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

From Specification to Implementation of an Automotive Transport System

verfasst von : Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

Erschienen in: Software Technologies

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel A Technology for Optimizing the Process of Maintaining Software Up-to-Date
Nächstes Kapitel Towards a Goal-Oriented Framework for Partial Agile Adoption
Fußnoten
Literatur
1.
Khlifi, O., Mosbahi, O., Khalgui, M., Frey, G.: GR-TNCES: new extensions of R-TNCES for modeling and verification of flexible systems under energy and memory constraints. In: International Conference on Software Technologies, Colmar, France, pp. 373–380 (2015)
2.
3.
Zhang, J., Khalgui, M., Li, Z.W., Mosbahi, O., Al-Ahmari, A.M.: R-TNCES: a novel formalism for reconfigurable discrete event control systems. IEEE Trans. Syst. Man Cybern. Syst. 43(4), 757–772 (2013)CrossRef
4.
Harel, D., et al.: STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403–414 (1990)CrossRef
5.
Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. IEEE Trans. Softw. Eng. 20(9), 684–707 (1994)CrossRef
6.
7.
Chan, W., et al.: Optimizing symbolic model checking for statecharts. IEEE Trans. Softw. Eng. 27(2), 170–190 (2001)CrossRef
8.
Khlifi, O., Siegwart, C., Mosbahi, O., Khalgui, M., Frey, G.: Specification approach using GR-TNCES -application to an automotive transport system. In: 12th International Conference on Software Technologies, Madrid, Spain (2017)
9.
Andrade, E., Maciel, P., Callou, G., Nogueira, B.: A methodology for mapping SysML activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In: 3rd International Conference on Digital Society, Cancun, Mexico, pp. 266–271 (2009)
10.
Salem, M.O.B., Mosbahi, O., Khalgui, M., Frey, G.: ZiZo: modeling, simulation and verification of reconfigurable real-time control tasks sharing adaptive resources: application to the medical project BROS. In: International Conference on Health Informatics, Portugal, pp. 20–31 (2015)
11.
Chen, Y.F., Li, Z.W., Zhou, M.C.: Optimal supervisory control of flexible manufacturing systems by petri nets: a set classification approach. IEEE Trans. Autom. Sci. Eng. 11(2), 549–563 (2014)CrossRef
12.
13.
Wasserman, A.: Extending state transition diagrams for the specification of human-computer interaction. IEEE Trans. Softw. Eng. 11(8), 699–713 (1985)CrossRef
14.
Ross, D.: Structured analysis (SA): a language for communicating ideas. IEEE Trans. Softw. Eng. SE-3(1), 16–34 (1997)CrossRef
15.
Zedan, H., Cau, A., Chen, Z.: Yang. H.: ATOM: an object-based formal method for real-time systems. Ann. Softw. Eng. 7, 235–256 (1999)CrossRef
16.
El-kustaban, A., Moszkowski, B., Cau, A.: Specification analysis of transactional memory using ITL and AnaTempura. In: Lecture Notes in Engineering and Computer Science, pp. 176–181 (2012)
17.
Khlifi, O., Siegwart, C., Mosbahi, O., Khalgui, M., Frey, G.: Modeling and simulation of an energy efficient skid conveyor using ZIZO. In: 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Lisbon, Portugal, pp. 551–558 (2016). ISBN 978-989-758-198-4
18.
19.
IEC 61131-3: Programmable controllers – part 3: programming languages, International Standard, International Electrotechnical Commission (2013)
20.
PROFIBUS Nutzerorganisation e.V., “Pi White Paper: The PROFIenergy Profile,” Karlsruhe, Germany, pp. 10–11 (2010)
Metadaten
Titel
From Specification to Implementation of an Automotive Transport System
verfasst von
Oussama Khlifi
Christian Siegwart
Olfa Mosbahi
Mohamed Khalgui
Georg Frey
Copyright-Jahr
2018
Buch
Software Technologies

Print ISBN: 978-3-319-93640-6

Electronic ISBN: 978-3-319-93641-3

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-93641-3_3