Compiling and verifying SC-SystemJ programs for safety-critical reactive systems.
HeeJong ParkAvinash MalikZoran A. SalcicPublished in: Comput. Lang. Syst. Struct. (2015)
Keyphrases
- reactive systems
- safety critical
- formal methods
- model checking
- control flow
- safety analysis
- temporal logic
- fault tolerant
- formal specification
- regulatory requirements
- knowledge based systems
- artificial intelligence
- data flow
- agent architecture
- embedded systems
- intelligent systems
- object oriented
- software engineering
- real time