Verification of embedded control systems by simulation and program execution control
暂无分享,去创建一个
[1] Edward A. Lee,et al. Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) , 2008 .
[2] Gene Cooperman,et al. DMTCP: Transparent checkpointing for cluster computations and the desktop , 2007, 2009 IEEE International Symposium on Parallel & Distributed Processing.
[3] Peter Hintenaus,et al. Modeling and simulation of timing behavior with the Timing Definition Language (TDL) , 2014 .
[4] Edward A. Lee,et al. Timed multitasking for real-time embedded software , 2003 .
[5] David Notkin,et al. Checking inside the black box: regression testing by comparing value spectra , 2005, IEEE Transactions on Software Engineering.
[6] K.-E. Arzen,et al. Control loop timing analysis using truetime and jitterbug , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.
[7] Anton Cervin,et al. Tool supporting the co-design of control systems and their real-time implementation: Current status and future directions , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.
[8] Kenneth R. Butts,et al. Migration of Legacy Software Towards Correct-by-Construction Timing Behavior , 2010, Monterey Workshop.
[9] Kenneth R. Butts,et al. The Validator tool suite: filling the gap between conventional soft- ware-in-the-loop and hardware-in-the-loop simulation environments , 2011 .
[10] Martin Törngren,et al. The AIDA toolset for design and implementation analysis of distributed real-time control systems , 2004, Microprocess. Microsystems.