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:
Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

Reconfiguration Testing for Cooperating Autonomous Agents

verfasst von : Francesca Saglietti, Stefan Winzinger, Raimar Lill

Erschienen in: Computer Safety, Reliability, and Security

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

In order to verify reconfiguration of interacting autonomous agents to be exclusively beneficial and never hazardous to cyber-physical systems, this article suggests a systematic approach based on incremental model-based testing and illustrates its application to cooperating mobile robots.

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 Towards a Framework for Alignment Between Automotive Safety and Security Standards
Nächstes Kapitel A Motion Certification Concept to Evaluate Operational Safety and Optimizing Operating Parameters at Runtime
Literatur
1.
Bajd, T., et al: Robotics. In: Series: Intelligent Systems, Control and Automation: Science and Engineering, vol. 43, Springer, Heidelberg (2010)
2.
Saglietti, F., Lill, R.: A testing pattern for automatic control software addressing different degrees of process autonomy and cooperation. In: Proceedings 19th IFAC World Congress, International Federation of Automatic Control (2014)
3.
Lill, R., Saglietti, F.: Model-based testing of cooperating robotic systems using coloured petri nets. In: SAFECOMP 2013 Workshop Proceedings, LAAS-CNRS (2013)
4.
Krishnan, V.L., et al.: Reconfiguration of four-legged walking robot for actuator faults. In: Proceedings of the Spring Simulation Multiconference (SpringSim 2010), ACM Digital Library (2010)
5.
Klančar, G., Matko, D., Blažič, S.: Wheeled mobile robots control in a linear platoon. Journal of Intelligent and Robotic Systems, Vol. 54(5) (2009)
6.
Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009)
7.
Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and CPN tools for modelling and validation of concurrent systems. In: International Journal on Software Tools for Technology Transfer (STTT), vol. 9, no. 3–4, Springer, Heidelberg (2007)
8.
Murata, T.: Petri Nets: properties, analysis and applications. Proc. IEEE, 77(4) (1989)
9.
Bergenhem, C., Shladover, S., Coelingh, E.: Overview of platooning systems. In: Proceedings 19th World Congress on Intelligent Transportation Systems (ITS) (2012)
10.
Wong, W.E., Lei, Y., Ma, X.: Effective generation of test sequences for structural testing of concurrent programs. In: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) (2005)
11.
Lill, R., Saglietti, F.: Testing the cooperation of autonomous robotic agents. In: Proceedings of the 9th International Conference on Software Engineering and Applications (ICSOFT-EA), Scitepress Digital Library (2014)
12.
Saglietti, F., Föhrweiser, D., Winzinger, S., Lill, R.: Model-based design and testing of decisional autonomy and cooperation in cyber-physical systems. to be published. In: Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore Digital Library (2015)
Metadaten
Titel
Reconfiguration Testing for Cooperating Autonomous Agents
verfasst von
Francesca Saglietti
Stefan Winzinger
Raimar Lill
Copyright-Jahr
2015
Buch
Computer Safety, Reliability, and Security

Print ISBN: 978-3-319-24248-4

Electronic ISBN: 978-3-319-24249-1

Copyright-Jahr: 2015

DOI
https://doi.org/10.1007/978-3-319-24249-1_13