4799 search results - page 682 / 960 » Model Based Requirements Engineering for Embedded Software |
170
click to vote
ISPASS
2007
IEEE
16 years 26 days ago
2007
IEEE
Parameter variation due to manufacturing error will be an unavoidable consequence of technology scaling in future generations. The impact of random variation in physical factors s...
221
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
186
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
183
click to vote
CASE
2011
14 years 6 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
166
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...