CPS Runtime Architecture And Automated Transformation of Applications
Author: 
Lui ShaAuthors Info & Claims
Lui ShaAuthors Info & ClaimsPages 31 - 34
Abstract
National Academy of Science's study on dependable software systems concluded that simplicity is the key. Reducing the complexity of software has been investigated by the FEAST community on automated transformation of application software and by the CPS runtime community on the development of runtime architectures that simply the development of applications. This creates the need of collaboration between these two communities.
The goal of this review paper is to bring this need to the attention of FEAST community.
References
[1]
Hoyme, Ken, Kevin Driscoll, 1992, SAFEbus, Proc. IEEE/AIAA Digital Avionics Systems Conference (DASC'92), pp. 68--73.
[2]
Kopetz, Hermann, G. Bauer, The time-triggered architecture, 2003, Proceedings of the IEEE, Vol. 91, Issue 1, pp. 112--126.
[3]
Al-Nayeem, Abdullha, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer, 2009, A Formal Architecture Pattern for Real-Time Distributed Systems, IEEE 30th Real-Time Systems Symposium (RTSS), pp. 161--170.
[4]
Jhala, Ranjit, Rupak Majumdar: Software model checking. ACM Comput. Surv. 41(4) (2009).
[5]
Clarke, Edmund, Daniel Kroening, Flavio Lerda: A Tool for Checking ANSI-C Programs. TACAS 2004: 168--176
[6]
Miller, Steven P., Darren D. Cofer, Lui Sha, Jose Meseguer, Abdullah Al-Nayeem, 2009, Implementing Logical Synchrony in Integrated Modular Avionics, IEEE/AIAA 28th Proc. of Digital Avionics Systems Conference (DASC), pp. 1.A.3-1--1.A.3-12.
[7]
Chaki, Sagar, Arie Gurfinkel, Soonho Kong, Ofer Strichman, 2013, Compositional Sequentialization of Periodic Programs, Proc. of VMCAI, Springer.
[8]
Feiler, Peter H., David P. Gluch, 2012, Model- Based Engineering with AADL - An Introduction to the SAE Architecture Analysis and Design Language, Addison-Wesley.
[9]
Meseguer, Jose, Peter C. Ölveczky, 2010, Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems, Proceedings of the 12th International Conference on Formal Engineering Methods and Software Engineering, Pp. 303--320.
[10]
Ölveczky, Peter C., Jose Meseguer, 2007, Semantics and Pragmatics of Real-Time Maude, Journal of Higher-Order and Symbolic Computation, Vlusm 20, Issue 1-2, pp. 161--196.
[11]
Steiner, Wilfried, John M. Rushby, 2011, TTA and PALS: Formally Verified Design Patterns for Distributed Cyber-Physical Systems, IEEE/AIAA 30th Proc. of Digital Avionics Systems Conference (DASC) pp.7B5-1--7B5-15.
[12]
Rushby, John M., 1999, Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms, Transactions of Software Engineering, Vol 25, Issue 5, pp. 651--660.
[13]
Bae, Kyungmin, Joshua Krisiloff, Peter C. Ölveczky, Jose Meseguer, 2012, PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude, International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS).
[14]
Min-Young Nam, Lui Sha, Sagar Chaki, and Cheolgi Kim, Applying Software Model Checking to PALS Systems, IEEE/AIAA 33rd Digital Avionics Systems Conference, 2014.
Recommendations
CPS: Role, Characteristics, Architectures and Future Potentials
AbstractCPS entails the incorporation of four key characteristic technologies. CPS device technologies, CPS computational technologies, Cyber Physical System of Systems (CPSoS) and CPS networking and communication (CPS-ComNet) technologies. Multiple CPS ...
CPS transformation of beta-redexes
The extra compaction of the most compacting CPS transformation in existence, which is due to Sabry and Felleisen, is generally attributed to (1) making continuations occur first in CPS terms and (2) classifying more redexes as administrative. We show ...
CPS-SPC 2018: Fourth Workshop on Cyber-Physical Systems Security and PrivaCy
CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications SecurityCyber-Physical Systems (CPS) are becoming increasingly critical for the well-being of society (e.g., electricity generation and distribution, water treatment, implantable medical devices etc.). While the convergence of computing, communications and ...
Comments
Information & Contributors
Information
Published In
November 2017
78 pages
ISBN:9781450353953
DOI:10.1145/3141235
- General Chairs:
- Taesoo Kim,
- Cliff Wang,
- Program Chairs:
- Taesoo Kim,
- Dinghao Wu
Copyright © 2017 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 03 November 2017
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
CCS '17
Sponsor:
CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security
November 3, 2017
Texas, Dallas, USA
Acceptance Rates
Overall Acceptance Rate 4 of 4 submissions, 100%
Upcoming Conference
CCS '25
- Sponsor:
- sigsac
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 128Total Downloads
- Downloads (Last 12 months)39
- Downloads (Last 6 weeks)7
Reflects downloads up to 03 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in