Reusable Formal Specification for Embedded Systems.
Yuji ArichikaKeijiro ArakiPublished in: APSEC (2004)
Keyphrases
- formal specification
- embedded systems
- software components
- software systems
- model checking
- specification language
- computing power
- specification languages
- low cost
- embedded software
- embedded devices
- object oriented design
- resource limited
- hardware software
- real time systems
- process algebra
- software engineering
- reverse engineering
- formal methods
- concurrent systems
- software development
- source code
- flash memory
- hw sw
- field programmable gate array
- software reuse
- design methodology
- reusable components
- databases
- software architecture
- consumer electronics
- protocol specification
- embedded real time systems
- building blocks