1926 search results - page 197 / 386 » Modeling and Model Checking Software Product Lines |
134
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
117
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
151
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
153
Voted
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
115
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...