Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1421578
Sist endret:
5. januar 2017, 12:45
Resultat
Vitenskapelig foredrag
2016
A Methodology for Model-based Development and Safety Analysis of Transport Systems
Simon Hordvik
Kristoffer Øseth
Jan Olaf Blech
og
Peter Herrmann
Presentasjon
Presentasjon
Navn på arrangementet: 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), special session on Collaborative Aspects of Formal Methods
Sted: Rome
Dato fra:
27. april 2016
Dato til:
28. april 2016
Om resultatet
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2016
Beskrivelse
Beskrivelse
Engelsk
Tittel
A Methodology for Model-based Development and Safety Analysis of Transport Systems
Sammendrag
We present a method to engineer the control software of transport systems and analyze their safety using the Reactive Blocks framework. The development bene ts from the model-based approach and makes the analysis of the systems at design time possible. The software is analyzed for freedom of collisions and other spatiotemporal properties by combining test runs of already existing devices to find out their physical constraints with the analysis of simulation runs using the verification tool BeSpaceD. This allows us to discover potential safety hazards already during the development of the control software. In particular, we introduce a methodology for the engineering and safety analysis of transportation systems and elaborate its practical usability by means of a demonstrator based on Lego Mindstorms.
Vis
fullstendig beskrivelse
Bidragsytere
Bidragsytere
Simon Hordvik
Forfatter
Kristoffer Øseth
Forfatter
Jan Olaf Blech
Forfatter
ved Royal Melbourne Institute of Technology (RMIT University)
Peter Micael Herrmann
Bidragsyterens navn vises på dette resultatet som Peter Herrmann
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1
-
4
av
4