1980 search results - page 48 / 396 » Compositional Model Checking of Real Time Systems |
111
click to vote
PADS
2009
ACM
15 years 6 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
105
click to vote
MOMPES
2006
IEEE
15 years 5 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
100
click to vote
ENTCS
2006
14 years 11 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
101
click to vote
ASIAN
2006
Springer
15 years 3 months ago
2006
Springer
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
101
click to vote
IEEECIT
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...