Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation.
Joseph PorterGabor KarsaiPéter VölgyesiHarmon NinePeter HumkeGraham HemingwayRyan ThibodeauxJanos SztipanovitsPublished in: MoDELS (Workshops) (2008)
Keyphrases
- control system
- implementation issues
- design decisions
- formal methods
- design tools
- efficient implementation
- design principles
- embedded systems
- software environment
- user interface
- modular design
- design methodologies
- architectural design
- computer aided software engineering
- design concepts
- hw sw
- real time embedded
- intelligent control
- current status
- design methodology
- end users
- circuit design
- controller design
- platform independent
- design processes
- building blocks
- object oriented
- fuzzy logic
- expert systems
- parallel distributed
- case study