Lui Sha
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.
- Hoyme, Ken, Kevin Driscoll, 1992, SAFEbus, Proc. IEEE/AIAA Digital Avionics Systems Conference (DASC'92), pp. 68--73. Google Scholar
Cross Ref
- Kopetz, Hermann, G. Bauer, The time-triggered architecture, 2003, Proceedings of the IEEE, Vol. 91, Issue 1, pp. 112--126.Google ScholarCross Ref
- 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.Google Scholar
- Jhala, Ranjit, Rupak Majumdar: Software model checking. ACM Comput. Surv. 41(4) (2009). Google ScholarDigital Library
- Clarke, Edmund, Daniel Kroening, Flavio Lerda: A Tool for Checking ANSI-C Programs. TACAS 2004: 168--176 Google ScholarCross Ref
- 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.Google Scholar
- Chaki, Sagar, Arie Gurfinkel, Soonho Kong, Ofer Strichman, 2013, Compositional Sequentialization of Periodic Programs, Proc. of VMCAI, Springer. Google ScholarDigital Library
- Feiler, Peter H., David P. Gluch, 2012, Model- Based Engineering with AADL - An Introduction to the SAE Architecture Analysis and Design Language, Addison-Wesley.Google Scholar
- 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. Google ScholarCross Ref
- Ö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.Google Scholar
- 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.Google Scholar
- Rushby, John M., 1999, Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms, Transactions of Software Engineering, Vol 25, Issue 5, pp. 651--660. Google ScholarDigital Library
- 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). Google ScholarCross Ref
- 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.Google Scholar
Index Terms
- CPS Runtime Architecture And Automated Transformation of Applications
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