Endowing Concurrent Kleene Algebra with Communication Actions

Jaskolka, Jason; Khédri, Ridha; Zhang, Qinglei

doi:10.1007/978-3-319-06251-8_2

Cited by 10 publications

(16 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The observed behaviour of an open system is governed by the stimuli it gets from its environment [19]. The actors in a system environment interact with the system and affect its behaviour.…”

Section: System Approach To the Elicitation Of The Requirementsmentioning

confidence: 99%

Envisioning a Requirements Specification Template for Medical Device Software

Wang¹,

Chen

Khédri

et al. 2014

Product-Focused Software Process Improvement

Self Cite

View full text Add to dashboard Cite

Abstract. In many health jurisdictions, software is considered to be medical device software (MDS), when it is used to analyze patient data in order to render a diagnosis or monitor the patient's health; when it is to be used by a patient to diagnose an ailment; or when it is used to deliver functionality for a medical device. Flaws in MDS can result in patient harm, including death. Legislators and regulatory agencies publish guidelines and regulatory standards that are aimed at ensuring the safety, security and dependability of MDS. These guidelines and standards universally agree that a complete and consistent requirement specification is vital to the success of medical device software. Moreover, we observe that regulators are shifting from being process focused to being product focused in their approval guidance. In this paper, we review challenges associated with requirements used in the development of MDS, current standards and guidelines relevant to MDS, and existing templates for requirement specifications. We then propose a set of design objectives for a 'good' MDS requirements template and propose a template structure for MDS requirement specification fulfilling all the design objectives. Our template is, by design, tailored to facilitate the gathering and documenting of high quality requirements for MDS.

show abstract

Section: System Approach To the Elicitation Of The Requirementsmentioning

confidence: 99%

Envisioning a Requirements Specification Template for Medical Device Software

Wang¹,

Chen

Khédri

et al. 2014

Product-Focused Software Process Improvement

Self Cite

View full text Add to dashboard Cite

show abstract

“…While each of the above mentioned formalisms and languages have their merits, in this paper, we elect to use Communicating Concurrent Kleene Algebra (C 2 KA) [34], [35] for the system modeling and specification in the proposed approach. C 2 KA provides a hybrid view of communication and concurrency encompassing the characteristics of both state-based and event-based models which is desirable for specifying systems at various levels of abstraction.…”

Section: Formalisms For Modeling Complex Distributed Systemsmentioning

confidence: 99%

“…Finally, we present our experimental results of the analysis of the illustrative manufacturing cell control system described in Section 3. [34], [35] is an algebraic framework for capturing the concurrent and communicating behavior of agents in a distributed system. In essence, a C 2 KA is a mathematical system that describes how a stimulus structure S and a concurrent Kleene algebra (CKA) K mutually act upon one another in order to characterize the response invoked by a stimulus on an agent behavior as a next behavior mapping (denoted by •) and a next stimulus mapping (denoted by λ).…”

Section: The Proposed Approachmentioning

confidence: 99%

“…We refer the reader to [34] and [35] for the full detailed description and presentation of C 2 KA. We chose to use C 2 KA as the framework for specification and analysis since it provides the capability to model open systems with the notion of external stimuli coming from outside the boundaries of the system being considered.…”

Section: The Proposed Approachmentioning

confidence: 99%

“…This paper presents a formal methods-based approach for identifying the presence of implicit interactions in the designs of distributed cyber-physical systems. The proposed approach intends to provide a new way of thinking about this problem by applying formal methods through the specification and analysis of the communication among system components using the algebraic modeling framework called Communicating Concurrent Kleene Algebra (C 2 KA) [34], [35]. The techniques presented here address an increasingly important need, particularly in light of the growth in complexity of distributed systems and networks in critical infrastructures and other sectors, and the shortcomings of formal methods for determining whether such systems are protected from cyber-threats [6].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems

Jaskolka

Villasenor

2017

Proceedings of the 50th Hawaii International Conference on System Sciences (2017)

Self Cite

View full text Add to dashboard Cite

Modern distributed systems and networks, like those found in cyber-physical system domains such as critical infrastructures, contain many complex interactions among their constituent software and/or hardware components. Despite extensive testing of individual components, security vulnerabilities resulting from unintended and unforeseen component interactions (so-called implicit interactions) often remain undetected. This paper presents a method for identifying the existence of implicit interactions in designs of distributed cyber-physical systems using the algebraic modeling framework known as Communicating Concurrent Kleene Algebra (C 2 KA). Experimental results verifying the applicability of C 2 KA for identifying dependencies in system designs that would otherwise be very hard to find are also presented. More broadly, this research aims to advance the specification, design, and implementation of distributed cyber-physical systems with improved cybersecurity assurance by providing a new way of thinking about the problem of implicit interactions through the application of formal methods.

show abstract

Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System

Jaskolka

2020

Computer Security

View full text Add to dashboard Cite

Endowing Concurrent Kleene Algebra with Communication Actions

Cited by 10 publications

References 23 publications

Envisioning a Requirements Specification Template for Medical Device Software

Envisioning a Requirements Specification Template for Medical Device Software

Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems

Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System

Contact Info

Product

Resources

About