Issues in defining, analyzing, refining, and specifying system dependability requirements

Melhart, B.E.; White, S.

doi:10.1109/ecbs.2000.839893

Cited by 21 publications

(5 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Dependability [7] is that property of a system that allows reliance to be justifiably placed on the service it delivers. A failure occurs when the delivered service deviates from the specified service.…”

Section: Dependabilitymentioning

confidence: 99%

Meta-Design Support for Safe and Secure Networked Embedded Systems

Sveda

Vrba

2008

Third International Conference on Systems (Icons 2008)

View full text Add to dashboard Cite

This paper presents principles of meta-design support for end-user development of safe and secure embedded system networking. The presented approach offers a reusable framework for Internet-based embedded system applications. The framework provides a development environment kernel that can be adapted for various safety/security critical embedded system application domains. It stems from the IEEE 1451.1 smart transducer interface standard that provides an object-based networking model mediating efficient and unified access to distributed components through both wired and wireless networks. The paper discusses this framework not only from the viewpoint of framework builders, but also end-user developers. In this context, it demonstrates how to use that approach for a safety and security-critical application with Internet and ZigBee.

show abstract

Section: Dependabilitymentioning

confidence: 99%

Meta-Design Support for Safe and Secure Networked Embedded Systems

Sveda

Vrba

2008

Third International Conference on Systems (Icons 2008)

View full text Add to dashboard Cite

show abstract

“…The term dependability is well known in the literature and commonly used by fault tolerant and dependable computing community, but has been assigned many different meanings. For example, there is more than one definition of dependability [3,4,6,7,9].…”

Section: Dependability Problemsmentioning

confidence: 99%

Network Systems Analysis in Case of Critical Situations

Mazurkiewicz

2013

Transport and Telecommunication Journal

View full text Add to dashboard Cite

The paper describes the analysis and discussion of the network systems in case of the critical situation that happens during ordinary work. The formal model is proposed - based on the two types of real sophisticated network systems - with the approach to its modelling based on the system behaviour observation. The definition of the critical situation sets are created by reliability, functional and human reasons. No restriction on the system structure and on a kind of distribution describing the system functional and reliability parameters is the main advantage of the approach. The proposed solution seems to be essential for the owner and administrator of the transportation systems.

show abstract

“…Current computer-based system applications are software, hardware, and communication intensive, and their functional, performance, reliability, and security requirements mandate tightly integrated information processing and physical platform behavior. Development of such complex systems necessarily stems from formal specifications and their verification and prototyping (Melhart and White, 2000). This paper discusses an approach to executable specifications and rapid prototyping for structured design, and to structural specifications and verifications for object-oriented design.…”

Section: Introductionmentioning

confidence: 99%

“…The design of well thought-out information system applications should consider namely functionality and dependability measures, see e.g. (Melhart and White, 2000) and (Hessami, 2004). Functionality means services delivery in the form and time fitting requirement specifications, where the service specification is an agreed description of the expected service.…”

Section: Introductionmentioning

confidence: 99%

SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications

Sveda¹,

Vrba²

2007

Proceedings of the Second International Conference on E-Business

View full text Add to dashboard Cite

The paper presents an approach to formal specification, verification and prototyping of networked embedded software system applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. The design approach fully respecting such requirements can eliminate not only behavioral and structural faults but also security flaws caused by design errors. Reflecting current trends in engineering software-intensive systems, this contribution discusses in more detail executable specifications and rapid prototyping for structured design, and structural specifications and verifications for objectoriented design. The paper presents Asynchronous Specification Language and Class Specification Language developed for that purpose. 2 STATE OF THE ART Requirements on current embedded software system applications include both functional and nonfunctional constraints on real-time, safety and security properties. They should be formally specified and verified or, at least, properly explored before they are designed in detail and implemented (Lamport, 2002). Moreover, the specification approach should either conform or suitably complement anticipated design methods, namely structured or object-oriented techniques (Wieringa, 1998). While some applications demand to distinguish at the beginning of design structural and

show abstract

Issues in defining, analyzing, refining, and specifying system dependability requirements

Cited by 21 publications

References 4 publications

Meta-Design Support for Safe and Secure Networked Embedded Systems

Meta-Design Support for Safe and Secure Networked Embedded Systems

Network Systems Analysis in Case of Critical Situations

SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications

Contact Info

Product

Resources

About