SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.
Reinhard von HanxledenBjörn DuderstadtChristian MotikaSteven SmythMichael MendlerJoaquín AguadoStephen MercerOwen O'BrienPublished in: PLDI (2014)
Keyphrases
- safety critical
- formal methods
- hw sw
- embedded systems
- model checker
- hardware software
- fault tolerant
- safety analysis
- model checking
- design methodology
- low cost
- hardware and software
- formal specification
- real time
- database
- knowledge based systems
- support systems
- information systems
- database systems
- artificial intelligence
- sensor networks