Verifiable COTS-based cyber-physical systems

[1]  Jochen Liedtke,et al.  OS-controlled cache predictability for real-time systems , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[2]  Bruce H. Krogh,et al.  Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance , 1998, HSCC.

[3]  Henrik Theiling,et al.  Design of a WCET-Aware C Compiler , 2006, 2006 IEEE/ACM/IFIP Workshop on Embedded Systems for Real Time Multimedia.

[4]  James H. Anderson,et al.  Soft Real-Time on Multiprocessors: Are Analysis-Based Schedulers Really Worth It? , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[5]  Lui Sha,et al.  ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs , 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.

[6]  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..

[7]  Francisco J. Cazorla,et al.  Hardware support for WCET analysis of hard real-time multicore systems , 2009, ISCA '09.

[8]  Marcel Bergerman,et al.  A Safety Architecture for Autonomous Agricultural Vehicles , 2012 .

[9]  Nancy G. Leveson,et al.  An experimental evaluation of the assumption of independence in multiversion programming , 1986, IEEE Transactions on Software Engineering.

[10]  Nancy A. Lynch,et al.  Verifying average dwell time of hybrid systems , 2008, TECS.

[11]  James H. Anderson,et al.  Real-Time Scheduling on Multicore Platforms , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[12]  Marco Caccamo,et al.  Toward the Predictable Integration of Real-Time COTS Based Systems , 2007, RTSS 2007.

[13]  Antoine Girard,et al.  SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.

[14]  Ashish Tiwari,et al.  Series of Abstractions for Hybrid Automata , 2002, HSCC.

[15]  James H. Anderson,et al.  On the Design and Implementation of a Cache-Aware Multicore Real-Time Scheduler , 2009, 2009 21st Euromicro Conference on Real-Time Systems.

[16]  Alan Burns,et al.  A survey of hard real-time scheduling for multiprocessor systems , 2011, CSUR.

[17]  Antoine Girard,et al.  Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.

[18]  Xin Chen,et al.  Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior , 2011, SIGBED.

[19]  Francisco J. Cazorla,et al.  An Analyzable Memory Controller for Hard Real-Time CMPs , 2009, IEEE Embedded Systems Letters.

[20]  Damien Hardy,et al.  Predictable Paging in Real-Time Systems: A Compiler Approach , 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).

[21]  Marco Caccamo,et al.  Sandboxing Controllers for Cyber-Physical Systems , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[22]  Shreyas Sundaram,et al.  The Wireless Control Network: A New Approach for Control Over Networks , 2011, IEEE Transactions on Automatic Control.

[23]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[24]  Marco Caccamo,et al.  Impact of Peripheral-Processor Interference on WCET Analysis of Real-Time Embedded Systems , 2010, IEEE Transactions on Computers.

[25]  Richard M. Murray,et al.  Periodically Controlled Hybrid Systems , 2009, HSCC.

[26]  Lui Sha,et al.  NetSimplex: Controller Fault Tolerance Architecture in Networked Control Systems , 2013, IEEE Transactions on Industrial Informatics.

[27]  L.C.G.J.M. Habets,et al.  Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[28]  Robert E. Lyons,et al.  The Use of Triple-Modular Redundancy to Improve Computer Reliability , 1962, IBM J. Res. Dev..

[29]  Stephen A. Edwards,et al.  The Case for the Precision Timed (PRET) Machine , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[30]  Neil C. Audsley,et al.  Implementing time-predictable load and store operations , 2009, EMSOFT '09.

[31]  Tai-Yi Huang,et al.  Allowing cycle-stealing direct memory access I/O concurrent with hard-real-time programs , 1996, Proceedings of 1996 International Conference on Parallel and Distributed Systems.

[32]  S. Schonberg.  Impact of PCI bus load on applications in a PC architecture , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[33]  Lui Sha,et al.  Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems , 2008, 2008 Real-Time Systems Symposium.

[34]  Gerardo Lafferriere,et al.  A New Class of Decidable Hybrid Systems , 1999, HSCC.

[35]  James H. Anderson,et al.  Optimality Results for Multiprocessor Real-Time Locking , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[36]  Lui Sha,et al.  The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures , 2007, RTSS 2007.

[37]  Marco Caccamo,et al.  A Predictable Execution Model for COTS-Based Embedded Systems , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[38]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.

[39]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[40]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[41]  James H. Anderson,et al.  Adapting Pfair scheduling for symmetric multiprocessors , 2005, J. Embed. Comput..

[42]  Insup Lee,et al.  Periodic resource model for compositional real-time guarantees , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[43]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[44]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[45]  Lothar Thiele,et al.  Worst case delay analysis for memory interference in multicore systems , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[46]  Antoine Girard,et al.  Approximate Simulation Relations for Hybrid Systems , 2008, Discret. Event Dyn. Syst..

[47]  Andrew Wolfe,et al.  Software-based cache partitioning for real-time applications , 1994 .

[48]  Marcel Verhoef,et al.  System architecture evaluation using modular performance analysis: a case study , 2006, International Journal on Software Tools for Technology Transfer.

[49]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[50]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[51]  Lui Sha,et al.  Real-Time I/O Management System with COTS Peripherals , 2013, IEEE Transactions on Computers.

[52]  Petru Eles,et al.  Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip , 2007, RTSS 2007.

[53]  Lui Sha,et al.  Using Simplicity to Control Complexity , 2001, IEEE Softw..

[54]  Lui Sha,et al.  A framework for the safe interoperability of medical devices in the presence of network failures , 2010, ICCPS '10.

[55]  Lothar Thiele,et al.  Timing Analysis for Resource Access Interference on Adaptive Resource Arbiters , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[56]  Lui Sha,et al.  A Case Study on Analytical Analysis of the Inverted Pendulum Real-Time Control System , 1999 .

[57]  Manuel Mazo,et al.  PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.

[58]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[59]  Giorgio C. Buttazzo,et al.  Non-preemptive interrupt scheduling for safe reuse of legacy drivers in real-time systems , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[60]  Hennadiy Leontyev,et al.  A Flexible Real-Time Locking Protocol for Multiprocessors , 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).

[61]  Nancy G. Leveson,et al.  Analysis of Faults in an N-Version Software Experiment , 1990, IEEE Trans. Software Eng..

[62]  Lui Sha,et al.  Real-Time Control of I/O COTS Peripherals for Embedded Systems , 2009, 2009 30th IEEE Real-Time Systems Symposium.