Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems.
Aritra HazraPriyankar GhoshPallab DasguptaPublished in: FDL (2012)
Keyphrases
- context sensitive
- embedded systems
- formal specification
- safety critical
- computing power
- low cost
- embedded software
- embedded devices
- resource limited
- embedded real time systems
- object oriented design
- software systems
- multiple task learning
- formal methods
- field programmable gate array
- hardware software
- language model
- natural language
- design methodology
- real time systems
- graph grammars
- model checking
- hw sw
- real time
- software components
- spelling correction
- clustering algorithm