nach oben

Erschienen in:

2017 | OriginalPaper | Buchkapitel

Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management

verfasst von : Sophie Coudert, Tullio Joseph Tanzi

Erschienen in: Information Technology in Disaster Risk Reduction

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

A new generation of Autonomous systems (UAVs, ROVERs, etc.) is coming that will help improve the situational awareness and assessment, especially in difficult conditions like disasters. Rescuers should be relieved from time-consuming data collection tasks as much as possible and at the same time, Autonomous systems should assist data collection through a more insightful and automated guidance thanks to advanced sensing capabilities. In order to achieve this vision, two challenges must be addressed though. The first one is to achieve a sufficient autonomy. The second one relates to the reliability with respect to accidental (safety) or even malicious (security) risks. This however requires the design of new embedded architectures to be more autonomous, while mitigating the harm they may potentially cause. Increased complexity and flexibility requires resorting to modelling, simulation and formal verification techniques in order to validate such critical aspects.

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 Usability Evaluation of Information Technology in Disaster and Emergency Management

Nächstes Kapitel Using the Scorecard Approach to Measure Seismic Social Resilience in Nablus, Palestine

Sil4 railway software (2016). http://www.clearsy.com/en/our-specific-know-how/b-method/

Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)CrossRefMATH

Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)CrossRefMATH

Ackerman, E.: Drone adventures uses UAVs to help make the world a better place. IEEE Spectrum, May 2013

Almeida, J.B., Frade, M.J., Pinto, J.S., de Sousa, S.M.: An Overview of Formal Methods Tools and Techniques, 1st edn. Springer, London (2011). https://doi.org/10.1007/978-0-85729-018-2_2. Chapter 2

Asplund, M., Manzoor, A., Bouroche, M., Clarke, S., Cahill, V.: A formal approach to autonomous vehicle coordination. In: Giannakopoulou, D., Méry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 52–67. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32759-9_8 CrossRef

Banach, R.: The landing gear case study in hybrid event-B. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 126–141. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07512-9_9 CrossRef

Bolton, M.L., Bass, E.J., Siminiceanu, R.I.: Using formal verification to evaluate human-automation interaction: a review. IEEE Trans. Syst. Man Cybern.: Syst. 43(3), 488–503 (2013)CrossRef

Chatterjee, R., Fruneau, B., Rudant, J., Roy, P., Frison, P., Lakhera, R., Dadhwal, V., Saha, R.: Subsidence of Kolkata (Calcutta) city, India during the 1990s as observed from space by differential synthetic aperture radar interferometry technique. Remote Sens. Environ. 102(1–2), 176–185 (2006)CrossRef

10.

Drechsler, R., Khne, U.: Formal Modeling and Verification of Cyber-Physical Systems. 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-658-09994-7

11.

Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 167–183. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-05032-4_13 CrossRef

12.

Fantechi, A., Fokkink, W., Morzenti, A.: Some Trends in Formal Methods Applications to Railway Signaling. Wiley, Hoboken (2012). pp. 61–84CrossRef

13.

Fitzgerald, J., Gamble, C., Larsen, P.G., Pierce, K., Woodcock, J.: Cyber-physical systems design: formal foundations, methods and integrated tool chains. In: FormaliSE 2015, Florence, Italy, 18 May 2015, pp. 40–46. IEEE (2015)

14.

Guha-Sapir, D., Hoyois, P., Below, R.: Annual disaster statistical review 2012: the number and trends. CRED, Brussels, Belgium (2012)

15.

Heitmeyer, C.L., Leonard, E.I.: Obtaining trust in autonomous systems: tools for formal model synthesis and validation. In: FormaliSE 2015, pp. 54–60. IEEE Press, Piscataway, NJ, USA (2015)

16.

Heitmeyer, C.L., Pickett, M., Leonard, E.I., Archer, M.M., Ray, I., Aha, D.W., Trafton, J.G.: Building high assurance human-centric decision systems. Autom. Softw. Eng. 22(2), 159–197 (2015)CrossRef

17.

Lecomte, T., Burdy, L., Leuschel, M.: Formally checking large data sets in the railways. CoRR abs/1210.6815 (2012)

18.

Lefeuvre, F., Tanzi, T.: International union of radio science, international council for science (ICSU), joint board of geospatial information societies (JBGIS). United Nations office for outer Space Affairs (OOSA) (2013)

19.

Ranft, B., Dugelay, J.L., Apvrille, L.: 3D perception for autonomous navigation of a low-cost MAV using minimal landmarks. In: Proceedings of IMAV’2013, Toulouse, France, 17–20 September 2013 (2013)

20.

Sato, N., Ishikawa, F.: Separation of considerations in event-B refinement toward industrial use. In: Proceedings of FMSEE&T 2015, Co-located with FM 2015, Oslo, Norway, 23 June 2015, pp. 43–50 (2015)

21.

Sommerville, I.: Formal methods. In: Software Engineering, 9th edn. (Teaching Book). Pearson Education (2011). Chapter 27

22.

Tanzi, T., Lefeuvre, F.: Radio sciences and disaster management. C. R. Phys. 11, 114–224 (2010)CrossRef

23.

Tanzi, T., Perrot, P.: T´el´ecoms pour ling´enierie du risque. editions herms, ed. Collection Technique et Scientifique des T´el´ecoms (2009). (in French)

24.

Tanzi, T., Andr, C.: Mod´elisation synchrone appliqu´ee la suˆret´e de fonctionnement. In: 12`eme Colloque National de Suˆret´e de Fonctionnement, 28–30 mars 2000. Montpellier - France (2000)

25.

Tanzi, T., Apvrille, L., Dugelay, J.L., Roudier, Y.: UAVs for humanitarian missions: autonomy and reliability. In: 2014 IEEE Global Humanitarian Technology Conference (GHTC), pp. 271–278. IEEE (2014)

26.

Tanzi, T.J., Lefeuvre, F.: The contribution of radio sciences to disaster management. In: Gi4DM 2011, Antalya, Turkey, May 2011

27.

Wilkinson, P., Cole, D.: The role of the radio sciences in the disaster management. Radio Sci. Bull. 3358, 4551 (2010)

Titel: Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management
verfasst von: Sophie Coudert
Tullio Joseph Tanzi
Verlag: Springer International Publishing
Buch: Information Technology in Disaster Risk Reduction
Print ISBN: 978-3-319-68485-7

Electronic ISBN: 978-3-319-68486-4

Copyright-Jahr: 2017
DOI: https://doi.org/10.1007/978-3-319-68486-4_6

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner