1643 search results - page 111 / 329 » Consistability: Describing Usually Consistent Systems |
DSRT
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
ATAL
2009
Springer
15 years 1 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
107
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
ICSM
1997
IEEE
15 years 2 months ago
1997
IEEE
Philips is an electronics company which operates world wide and participates in professional as well as consumer markets. The architecture of many software intensive systems are c...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...