Paper Info
Title
A Contribution to Techniques for Building Dependable Software Systems
Abstract
Dependability is an essential property of critical systems and it also contributes to the quality of non-critical systems. There already exists an agreement what this term means, but we are still in the process of searching for an answer how to create dependable software systems in a cost-effective way. For different contexts, the how question may have different correct answers. In this paper, we present how an object-capability programming language P, which we have developed, can positively influence the following attributes of dependability: safety, confidentiality, correctness, and robustness. This is demonstrated using P language to build a simple operating system.
Year
DOI
Venue
2011
10.1109/ECBS-EERC.2011.11
Engineering of Computer Based Systems
Keywords
Field
DocType
different context,p language,simple operating system,non-critical system,dependable software system,critical system,object-capability programming language,following attribute,essential property,different correct answer,building dependable software systems
Computer science,Software system,Distributed computing
Conference
ISBN
Citations 
PageRank 
978-0-7695-4418-2
0
0.34
References 
Authors
8
2
Name
Order
Citations
PageRank
Matej Kos ´ ik100.68
Jirí Safarík2236.29