A Tool for Modeling Cyber-Physical Systems Software

[1]  H. Okubo,et al.  Multiple time-scale power system dynamic simulation , 1993 .

[2]  S. Shankar Sastry,et al.  Secure Control: Towards Survivable Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[3]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[4]  Kishor S. Trivedi,et al.  An empirical investigation of fault types in space mission system software , 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).

[5]  Math Bollen,et al.  Time-frequency and time-scale domain analysis of voltage disturbances , 2000 .

[6]  Calin Belta,et al.  Anomaly detection in cyber-physical systems: A formal methods approach , 2014, 53rd IEEE Conference on Decision and Control.

[7]  Hu Huang,et al.  Applying Sensor Integrity Concepts to Detect Intermittent Bugs in Aviation Software , 2018 .

[8]  Ayan Banerjee,et al.  Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[9]  Lothar Thiele,et al.  Design for Timing Predictability , 2004, Real-Time Systems.

[10]  A. H. Ghamarian.  Timing analysis of synchronous data flow graphs , 2008 .

[11]  G. Romanski,et al.  Progress Report on Some Proposed Upgrades to the Conceptual Underpinnings of DO-178B/ED-12B , 2008 .

[12]  Nathan van de Wouw,et al.  Design and experimental evaluation of cooperative adaptive cruise control , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[13]  Hu Huang,et al.  Applying Machine Learning for Run-time Bug Detection in Aviation Software , 2016 .

[14]  Panos J. Antsaklis,et al.  Hybrid System Modeling and Autonomous Control Systems , 1992, Hybrid Systems.

[15]  John M. Rushby,et al.  New challenges in certification for aircraft software , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[16]  Joe H. Chow,et al.  Multi-time-scale analysis of a power system , 1979, Autom..

[17]  Jason Rife,et al.  Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables , 2020 .

[18]  Samuel Z. Guyer,et al.  Improving Run-Time Bug Detection in Aviation Software Using Program Slicing , 2017, 2017 IEEE 7th Annual International Conference on CYBER Technology in Automation, Control, and Intelligent Systems (CYBER).

[19]  Christine Julien,et al.  Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems , 2017, IEEE Systems Journal.

[20]  Heiko Stallbaum,et al.  Toward DO-178B-compliant Test Models , 2010, 2010 Workshop on Model-Driven Engineering, Verification, and Validation.

[21]  Daniel L. Dvorak,et al.  NASA Study on Flight Software Complexity , 2009 .

[22]  Vikram S. Adve,et al.  LLVM: a compilation framework for lifelong program analysis & transformation , 2004, International Symposium on Code Generation and Optimization, 2004. CGO 2004..

[23]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[24]  Stefan Kowalewski,et al.  Introduction to the Analysis and Verification of Hybrid Systems , 2002 .

[25]  S. Shankar Sastry,et al.  Formal methods for semi-autonomous driving , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[26]  John C. Knight.  Software Challenges in Aviation Systems , 2002, SAFECOMP.

[27]  S. Ahmed-Zaid,et al.  Reduced Order Modeling of Interconnected Multimachine Power Systems Using Time-Scale Decomposition , 1987, IEEE Transactions on Power Systems.

[28]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.