Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi.
Jos C. M. BaetenDirk A. van BeekPieter J. L. CuijpersMichel A. ReniersJacobus E. RoodaRamon R. H. SchiffelersRolf J. M. TheunissenPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- embedded systems
- process algebra
- low cost
- formal specification
- asynchronous circuits
- concurrent systems
- model checking
- computing power
- formal methods
- petri net
- embedded real time systems
- embedded devices
- real time systems
- embedded software
- resource limited
- communication protocols
- software systems
- hardware software
- web services composition
- hw sw
- concurrent programs
- artificial intelligence
- software engineering
- software architecture
- cooperative
- field programmable gate array
- knowledge management
- machine learning
- design process
- real time