BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software.
Brian R. LarsonPatrice ChalinJohn HatcliffPublished in: NASA Formal Methods (2013)
Keyphrases
- embedded systems
- formal specification
- model checking
- formal methods
- concurrent systems
- safety critical
- object oriented design
- software systems
- low cost
- model checker
- specification language
- real time systems
- process algebra
- embedded software
- hardware software
- temporal logic
- specification languages
- embedded devices
- software components
- embedded real time systems
- protocol specification
- computing power
- formal verification
- hw sw
- resource limited
- grid workflow
- reverse engineering
- flash memory
- cooperative
- case study
- source code
- field programmable gate array