Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1421798
Sist endret:
5. januar 2017, 14:51
Resultat
Vitenskapelig foredrag
2016
Formal Model-based Development in Industrial Automation with Reactive Blocks
Peter Herrmann
og
Jan Olaf Blech
Presentasjon
Presentasjon
Navn på arrangementet: 3rd Human-Oriented Formal Methods Workshop (HOFM2016)
Sted: Vienna
Dato fra:
4. juli 2016
Dato til:
4. juli 2016
Arrangør:
Arrangørnavn: University of Vienna
Om resultatet
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2016
Beskrivelse
Beskrivelse
Engelsk
Tittel
Formal Model-based Development in Industrial Automation with Reactive Blocks
Sammendrag
The use of standard IT equipment to control machines is becoming increasingly popular mostly due to lower costs. Further, trends and initiatives such as Industry 4.0 and smart factories accelerate the use of standard IT components by demanding interconnected controllers and factory equipment communicating with internet services. This development offers new possibilities to use existing software frameworks and software architectural approaches as well as development standards in industrial automation. The formal methods-based support that already exists for standard IT platforms can now be applied to industrial control devices as well. In this paper, we look into the application of our Reactive Blocks framework for industrial automation. Reactive Blocks comes with a well established semantics and veri cation approaches tied to it. We demonstrate the advantages of our methodology with an example.
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