12333 search results - page 115 / 2467 » System Level Modelling for Hardware Software Systems |
154
click to vote
CL
2008
Springer
15 years 2 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...
130
Voted
SAFECOMP
1999
Springer
15 years 6 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
125
Voted
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
128
click to vote
SIGSOFT
1996
ACM
15 years 6 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...