Synthesis of Software Programs for Embedded Control Applications.
Massimiliano ChiodoPaolo GiustoAttila JurecskaLuciano LavagnoHarry HsiehKei SuzukiAlberto L. Sangiovanni-VincentelliEllen SentovichPublished in: DAC (1995)
Keyphrases
- control software
- embedded systems
- control program
- control structures
- control system
- free software
- computer systems
- software systems
- control flow
- user interface
- software package
- java programs
- program synthesis
- software design
- control method
- software tools
- micro controller
- software development
- artificial intelligence
- control unit
- functional programs
- hardware designs
- hardware design
- real time systems
- software testing
- computer programs
- data flow
- optimal control
- software components
- control strategy
- software architecture
- information systems