Sciweavers

2875 search results - page 10 / 575
» Using separation of concerns for embedded systems design
Sort
View
ICECCS
2007
IEEE
111views Hardware» more  ICECCS 2007»
14 years 1 months ago
A Refinement Driven Component-Based Design
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang,...
EMSOFT
2005
Springer
14 years 3 months ago
From statecharts to ESP: programming with events, states and predicates for embedded systems
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu
SAMOS
2005
Springer
14 years 3 months ago
Design and Implementation of a WLAN Terminal Using UML 2.0 Based Design Flow
Petri Kukkala, Marko Hännikäinen, Timo D...
ECBS
2007
IEEE
155views Hardware» more  ECBS 2007»
14 years 4 months ago
Integrating Security Modeling into Embedded System Design
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
Matthew Eby, Jan Werner, Gabor Karsai, Ákos...
HICSS
2007
IEEE
108views Biometrics» more  HICSS 2007»
14 years 4 months ago
Perceived Benefits and Concerns of Prospective Users of the SmartCampus Location-Aware Community System Test-bed
The SmartCampus initiative aims to turn an urban university campus into a living laboratory for location aware community system services. To lay a foundation for this effort, the ...
Eunhee Kim, Maria Plummer, Starr Roxanne Hiltz, Qu...