Title | ||
---|---|---|
Specification and verification of trustworthy component-based real-time reactive systems |
Abstract | ||
---|---|---|
This paper presents a formal methodology for the development of trustworthy real-time reactive systems (RTRS). Safety and security are considered as the two significant properties for trustworthy RTRS. The paper presents an overview of a component-based modeling that involves formal descriptions for trustworthy components. Then, Formal rules are introduced for the automatic generation of behavior protocol based on the formal definitions of trustworthy components. A model-checking method to formally verify security and safety properties in the component model is presented. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1145/1292316.1292327 | SAVCBS |
Keywords | Field | DocType |
formal methodology,trustworthy component-based real-time reactive,formal rule,trustworthy rtrs,trustworthy real-time reactive system,automatic generation,formal description,formal definition,behavior protocol,safety property,trustworthy component,trustworthiness | Trustworthiness,Computer science,Real-time computing,Reactive system | Conference |
Citations | PageRank | References |
5 | 0.65 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vasu Alagar | 1 | 62 | 6.57 |
Mubarak Mohammad | 2 | 118 | 10.64 |