1163 search results - page 31 / 233 » Case Studies of Model Checking for Embedded System Designs |
128
Voted
DT
2008
15 years 1 months ago
2008
In the past decade real-time embedded systems became more and more complex and pervasive. From the user perspective, these systems have stringent requirements regarding size, perfo...
129
Voted
SOCO
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
125
click to vote
MOMPES
2009
IEEE
15 years 8 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
101
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
108
Voted
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose a conceptual framework, called the Rugby Model, in which designs, design processes and design tools can be studied. It is an extension of the Y chart and adds two dimen...