Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems.
Man-tak ShingDoron DrusinskyPublished in: Monterey Workshop (2005)
Keyphrases
- embedded systems
- architectural design
- protocol stack
- computing power
- low cost
- design decisions
- communication technologies
- resource limited
- real time image processing
- safety critical
- embedded real time systems
- embedded devices
- processing power
- network structure
- hardware software
- embedded software
- software systems
- real time systems
- computer networks
- consumer electronics
- network management
- design principles
- software architecture
- mobile devices
- multi agent systems
- hw sw
- cooperative
- databases