A component-based approach for supporting functional and non-functional analysis in control loop design
暂无分享,去创建一个
[1] Thomas Nolte,et al. Using Components to Facilitate Stochastic Schedulability Analysis , 2003 .
[2] Guillem Bernat,et al. pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems , 2003, WCET.
[3] Ken Tindell,et al. ADDING TIME-OFFSETS TO SCHEDULABILITY ANALYSIS , 1994 .
[4] E. A. Parr. Programmable Controllers: An Engineer's Guide , 1993 .
[5] Johan Fredriksson,et al. Introducing a Component Technology for Safety Critical Embedded Real-Time Systems , 2004, CBSE.
[6] P. Inverardi,et al. A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures , 2005, Electron. Notes Theor. Comput. Sci..
[7] SaveCCM - a component model for safety-critical real-time systems , 2004, Proceedings. 30th Euromicro Conference, 2004..
[8] Stephan Merz,et al. Model Checking , 2000 .
[9] Bengt Hansson,et al. PLUG AND PLAY IN CONTROL LOOP DESIGN , 2002 .
[10] William F. Gilreath,et al. Concurrency State Models and Java Programs , 2000, Parallel Distributed Comput. Pract..