1163 search results - page 38 / 233 » Case Studies of Model Checking for Embedded System Designs |
122
Voted
CASES
2001
ACM
15 years 7 months ago
2001
ACM
This paper presents the modeling of embedded systems with SimBed, an execution-driven simulation testbed that measures the execution behavior and power consumption of embedded app...
112
click to vote
IADIS
2004
15 years 5 months ago
2004
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...
157
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
149
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
126
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...