527 search results - page 24 / 106 » Case Study: System Model of Crane and Embedded Control |
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
FLAIRS
2007
14 years 12 months ago
2007
In this paper we present a novel approach for patternconstrained test case generation. The generation of test cases with known characteristics is usually a non-trivial task. In co...
APSEC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
67
Voted
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— The spiders’ ability of walking and climbing on different surfaces and in different conditions is taken into account in this paper in order to define and study a suitable sp...