On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution.
Alfredo GarroAndrea TundisDaniel BouskelaAudrey JardinNguyen ThuyMartin OtterLena BuffoniPeter FritzsonMartin SjölundWladimir SchamaiHans OlssonPublished in: ISSE (2016)
Keyphrases
- temporal logic
- model checking
- reactive systems
- linear temporal logic
- modal logic
- formal specification language
- formal specification
- cyber physical systems
- computation tree logic
- modeling language
- formal methods
- belief revision
- software engineering
- concurrent systems
- formal representation
- mazurkiewicz traces
- bounded model checking
- transition systems
- context aware