1228 search results - page 103 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
190
click to vote
EMSOFT
2005
Springer
15 years 12 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...
209
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
171
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
Data Acquisition Systems (DAS) are the basis for building monitoring tools that enable the supervision of local and remote systems. DASs are complex systems. It is difficult for de...
129
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
138
click to vote
RAS
2010
15 years 4 months ago
2010
This paper presents a development methodology for complex robotic systems using the behavior-based control architecture iB2C (integrated Behavior-Based Control). It is shown how a...