15635 search results - page 107 / 3127 » Modelling and Design of VAML |
145
Voted
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
125
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Unified Modeling Language (UML) 2.0 is emerging in the area of embedded system design. This paper presents a new UML 2.0 profile - called TUT-Profile - that introduces a set of st...
146
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
140
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper the control of exible joint manipulators is studied in detail. A composite control algorithm is proposed for the exible joint robots, which consists of two main part...
110
click to vote
TC
2002
15 years 4 months ago
2002
: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms requi...