Sciweavers

808 search results - page 13 / 162
» Modeling and Analysis of Real-Time and Embedded Systems
Sort
View
FM
2006
Springer
97views Formal Methods» more  FM 2006»
15 years 1 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
ENTCS
2006
231views more  ENTCS 2006»
14 years 9 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
WORDS
2002
IEEE
15 years 2 months ago
Evaluating UMl Extensions for Modeling Real-Time Systems
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
Lutz Bichler, Ansgar Radermacher, Andy Schürr