2514 search results - page 52 / 503 » The use of industrial-strength formal methods |
110
click to vote
ICFEM
2000
Springer
15 years 5 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
117
click to vote
FMCO
2007
Springer
15 years 5 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
140
Voted
FORTE
2009
14 years 11 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
110
click to vote
TSMC
2010
14 years 8 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
119
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...