3516 search results - page 196 / 704 » Integrating Security Modeling into Embedded System Design |
133
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
145
click to vote
JWSR
2008
15 years 3 months ago
2008
: Service Oriented Architecture (SOA) is an emerging style of software architectures to reuse and integrate existing systems for designing new applications. Each application is des...
123
Voted
CAD
2004
Springer
15 years 3 months ago
2004
Springer
To allow a designer to focus on the information that is relevant for a particular product development phase, is an important aspect of integral product development. Unlike current...
150
Voted
IAJIT
2010
15 years 2 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
148
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...