Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1539190
Sist endret:
9. januar 2018, 16:13
Resultat
Vitenskapelig foredrag
2017
Formal Analysis of Control Software for Cyber-Physical Systems
Peter Herrmann
og
Jan Olaf Blech
Presentasjon
Presentasjon
Navn på arrangementet: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS)
Sted: Prague
Dato fra:
25. juli 2017
Dato til:
29. juli 2017
Arrangør:
Arrangørnavn: IEEE Computer
Om resultatet
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2017
Beskrivelse
Beskrivelse
Engelsk
Tittel
Formal Analysis of Control Software for Cyber-Physical Systems
Sammendrag
Modern Cyber-Physical Systems are often driven by a plethora of controllers that are connected with each other and their environment. To guarantee a safe and robust execution of the systems, their control units have to strictly fulfill certain properties which calls for the use of formal analysis methods in the software development process. We present the combination of the model-based engineering technique Reactive Blocks and the spatiotemporal analysis tool BeSpaceD facilitating the formal verification of controller software.
Vis
fullstendig beskrivelse
Bidragsytere
Bidragsytere
Peter Micael Herrmann
Bidragsyterens navn vises på dette resultatet som Peter Herrmann
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
Jan Olaf Blech
Forfatter
ved Royal Melbourne Institute of Technology (RMIT University)
1
-
2
av
2