Sciweavers

767 search results - page 83 / 154
» Model-Based Development of Distributed Embedded Real-Time Sy...
Sort
View
IMCSIT
2010
14 years 9 months ago
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
Matthias Hagner, Ursula Goltz
ATAL
2004
Springer
15 years 6 months ago
Distributed Path Planning for Robots in Dynamic Environments Using a Pervasive Embedded Network
We investigate the application of a low-cost, pervasively distributed network to plan paths for mobile robots in environments with dynamic obstacles. We consider a heterogeneous s...
Keith J. O'Hara, Tucker R. Balch
116
Voted
RTAS
2005
IEEE
15 years 8 months ago
Out-of-Norm Assertions
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
Philipp Peti, Roman Obermaisser, Hermann Kopetz
IPPS
1998
IEEE
15 years 6 months ago
A Development Tool Environment for Configuration, Build, and Launch of Complex Applications
The increasing size and complexity of high-performance applications have motivated a new round of innovation related to configuration, build, and launch of applications for large ...
Mike Krueger
SIES
2007
IEEE
15 years 8 months ago
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
Simon Tjell