328 search results - page 15 / 66 » Software engineering for safety: a roadmap |
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
119
click to vote
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
FATES
2006
Springer
15 years 3 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...