A property language for the specification of hardware-dependent embedded system software.
Binghao BaoCarlos VillarragaBernard SchmidtDominik StoffelWolfgang KunzPublished in: FDL (2014)
Keyphrases
- specification language
- highly modular
- computer systems
- low cost
- hardware design
- hardware and software
- software implementation
- personal computer
- programming language
- hardware platforms
- dedicated hardware
- formal language
- formal languages
- blue gene
- embedded systems
- natural language
- software systems
- operational semantics
- real time
- control unit
- hardware software
- tool suite
- modeling language
- reactive systems
- commercial off the shelf
- control software
- action language
- java virtual machine
- software development
- control program
- software components
- hardware implementation
- definition language
- high end
- software design
- computer hardware
- hardware description language
- object oriented
- hardware designs
- software architecture
- high level
- language learning
- development process
- control flow
- software developers
- computer software
- platform independent
- computing platform