Metrics, Models, and Simulation for Cyber-Physical Systems Minitrack
Permanent URI for this collection
The Metric, Models, and Simulation for Cyber-Physical Systems focuses on the different frameworks that have been operationalized so that cyber-physical systems can be baselined in security. In addition, the minitrack is interested in innovations in decision support such as cost effective means to decide what metrics should be addressed to get the best value in cybersecurity. There are many challenges to overcome in cyber-physical systems. We ask: How should frameworks be operationalized? What methodologies are available to quantify cybersecurity frameworks while accounting for cyber-physical interactions into account.
This minitrack will bring together academia, industry and government to discuss the models, methods and the issues in implementation. This minitrack is inspired by research conducted on behalf of Carnegie Melon’s Software Engineering Institute into cybersecurity risk model for insurance companies.
Our minitrack invites basic and applied research as well as current models being developed to score companies, applied by insurance companies, or novel advances in characterizing adaptive cyber adversary attacks and associated likelihoods and consequences.
This minitrack addresses many of cybersecurity viewed from an “enlightened security” perspective. The following topics will be included in the minitrack:
- Holistic risk analysis
- Cyber economics
- Science of security
- Co-evolution of defense and offense
- Security visualization and prediction
- Theories of vulnerability classification and control
- Security measurement
- Advances in information assurance theory and practice
- Advances in specification, design, and implementation of assured systems
- Advances in verification, testing, and certification of assured systems
- Advances in software security analysis
- Business case and ROI development for information and software assurance
- Supply chain and standards issues in information and software assurance • Case studies of system assurance successes
Barry Charles Ezell (Primary Contact)
Old Dominion University
Luanne Burns Goldrich
John Hopkins University Applied Physics Lab
ItemInvestigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation( 2017-01-04)Automotive systems are safety-critical cyber-physical \ systems. In particular, undesired feature interaction can \ lead to safety-critical behavior. In order to address this \ problem, we investigate physical feature interaction in this \ context using simulation (with more than one physical variable). \ This allows us to visualize both the behavior of features \ in isolation and their interaction. Our major result is \ a new insight about feature coordination. In such a cyber-physical \ context, it can be insufficient to coordinate as usual \ by giving one feature priority over another one. Instead, \ coordinating based on a physical variable involved in the \ feature interaction appears to be both necessary and sufficient. \ In summary, we present our investigation of safety-critical \ feature interactions and their coordination in automotive \ systems using simulation, and its results.
ItemApplying MARTE Profile for Optimal Automotive System Specifications and Design( 2017-01-04)The UML profile for Modeling and Analysis of Real- \ Time and Embedded Systems (MARTE) describes semantics \ and syntax for designing embedded and real-time systems, \ providing capabilities for representing the intrinsic characteristics \ of these systems, such as resource allocation, time \ criteria, non-functional characteristics, among others. MARTE \ provides different constructors and appropriate annotations \ for design activities allowing representation of quantitative \ characteristics that are relevant to the domain of a real-time \ system such as, for example, deadlines, periods, processing \ capacity, timing, and also qualitative characteristics that relate \ to system performance, including methods of communication \ and concurrence. This paper presents an in-depth study about \ the CoreElements, Time and GRM packages of the MARTE \ profile. In addition, it presents an initial analysis of conformity \ of MARTE constructors in the context of the specification \ processes and design of automotive systems. It is important \ to emphasize that the presented models are strengthened \ with MARTE constructors, by allowing the representation of \ functional and non-functional requirements, performance and \ temporal restrictions in the field of automotive systems already \ in initial stages of system design.
ItemA Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems( 2017-01-04)Activities for the comprehension and development \ of Cyber-Physical Systems (CPS) include analysis of multiple \ disciplines including mechanical engineering, electronic \ engineering, systems engineering and computer science. This \ work presents a comprehensive and applicable methodology \ for the initial activities of the development process of CPS. \ This methodology displays the capacity to describe and enable \ detailed analysis of the relevant properties of these systems as, \ for example, time specification, resources, communication and \ non-functional properties of CPS. In this research, two consolidated \ approaches of Model-Based Engineering are used in a \ combined way for proposing a methodology for requirements \ analysis, modeling and formal specification of CPS. Initially, a \ strategy for the definition, modeling, specification, and categorization \ of requirements in a tabular way is proposed. From \ the system definition in a high abstraction level, the SysML \ Requirements diagram is extended by using UML profile \ MARTE/VSL for formalization of restrictions, annotations and \ stereotypes in the model. Initial results of the application of \ the proposed methodology are presented by means of a case \ study of the Industrial Packing System.