Design of real-time periodic control systems through synchronization and fixed priorities

References

• Arzén K-E Bernhardsson B Eker J Cervin A Persson P Nilsson K Sha L 1999 Integrated control and scheduling Technical Report ISRN LUFTD2/TFRT–7686–SE Department of Automatic Control, Lund Institute of Technology
   Google Scholar
• Arzén K-E Cervin A Eker J Sha L 2000 An introduction to control and scheduling co-design 39th IEEE Conference on Decision and Control Sydney Australia
   Google Scholar
• Aström K Wittenmark B 1990 Computer-Controlled Systems—Theory and Design Englewood Cliffs NJ Prentice Hall
   Google Scholar
• Audsley , N , Burns , A , Davis , R , Tindell , K and Wellings , A . 1995 . Fixed priority preemptive scheduling: An historical perspective . Real-Time Systems , 8 : 173 – 198 .
   Google Scholar
• Baccelli , F , Gauja , B and Simon , D . 2002 . Analysis of preemptive periodic real time systems using the (max, plus) algebra with applications in robotics . IEEE Transactions on Control Systems Technology , 10 ( 3 ) : 368 – 380 .
   Google Scholar
• Baccelli F Gohen G Olsder GJ Quadrat J-P 1992 SynchronizatioN and LinearitY:An Algebra for Discrete Event Systems Wiley Series in Probability and Mathematical Statistics, http://www.rocq.inria.fr/scilab/cohen/documents/BCOQ-book.pdf
   Google Scholar
• Benattar F 2001 Programmation et verification de táches robotiques multicadences Master's thesis, DEA Imagerie, Vision et Robotique, INP Grenoble
   Google Scholar
• Bernat , G , Burns , A and Llamosi , A . 2001 . Weakly hard real-time systems . IEEE Transactions on Computers , 50 ( 4 ) : 308 – 321 .
   Web of Science ®Google Scholar
• Borrelly , J , Coste-Manière , EB , Espiau , Kapellos , K , Pissard , R , Simon , D and Turro , N . 1998 . The Orccad architecture . International Journal of Robotics Research , 18 ( 4 ) : 338 – 359 .
   Google Scholar
• Bouajjani A Echahed R Sifakis J 1993 On model checking for real time properties with durations 8th Symposium on Logic in Computer Science (LICS 93)
   Google Scholar
• Burns A Wellings A 1995 HRT-HOOD: A Structured Design Method for Hard Real-Time Ada System Amsterdam Elsevier
   Google Scholar
• Burns A Wellings A Burns F Koelmans A Koutny M Romanovsky A Yakovlev A 2000 Towards modeling and verification of concurrent Ada programs using Petri-nets Workshop on Software Engineering and Petri Nets, 21st International Conference on the Application of the Theory of Petri Nets Aarhus Denmark pp. 115–134
   Google Scholar
• Cervin A 2003 Integrated Control and Real-Time Scheduling PhD thesis Department of Automatic Control, Lund Institute of Technology Sweden
   Google Scholar
• Chen J Armstrong B Fearing R Burdick J 1986 Satyr and the nymph: Software archetype for real time robotics IEEE-ACM Joint Computer Conference Dallas USA
   Google Scholar
• Chevochot P Puaut I 2001 Experimental evaluation of the fail-silent behavior of a distributed real-time run-time support built from cots components International Conference on Dependable Systems and Networks (DNS’01) Göteborg Sweden pp. 304–313
   Google Scholar
• Eker J Cervin A 1999 A Matlab toolbox for real-time and control systems co-design 6th International Conference on Real-time Computing Systems and Applications Hong Kong pp. 320–327
   Google Scholar
• Ermont J Boniol F 2002 TPAP: An algebra of preemptive processes for verifying real-time systems with shared resources Workshop on Theory and Practice of Timed Systems. ETPAS’2002 Grenoble France
   Google Scholar
• Esparza , J and Nielsen , M . 1994 . Decibility issues for Petri nets—a survey . Journal of Informatik Processing and Cybernetics , 30 ( 3 ) : 143 – 160 .
   Google Scholar
• Fidge , C . 1998 . Real-time schedulability tests for preemptive multitasking . Real-Time Systems , 14 ( 1 ) : 61 – 93 .
   Google Scholar
• Girault A Lavarenne C Sighireanu M Sorel Y 2001 Fault-tolerant static scheduling for real-time distributed embedded systems 21st International Conference on Distributed Computing Systems, ICDCS’01 Phoenix USA
   Google Scholar
• Klaudel H Pommereau F 2000 A concurrent and compositional Petri net semantics of preemption In T. S. W. Grieskamp and B. Stoddart (eds) Integrated Formal Methods Vol. 1945 of Lecture Notes in Computer Science New York Springer pp. 318–337
   Google Scholar
• Liu , C and Layland , J . 1973 . Scheduling algorithms for multiprogramming in hard real-time environment . Journal of the ACM , 20 ( 1 ) : 40 – 61 .
   Google Scholar
• Lu C Stankovic J Abdelzaher T Tao G Son S Marley M 2000 Performance specifications and metrics for adaptive real-time systems Real-Time Systems Symposium Orlando FL 2000
   Google Scholar
• Mejia M Simon D Belmans P Borrelly J 1989 Mécanismes de synchronization dans un système robotique réparti Séminaire franco-brésilien sur les systèmes informatiques répartis Florianópolis Brazil
   Google Scholar
• Murata , T . 1989 . Petri nets: Properties, analysis and applications . Proceedings of the IEEE , 77 ( 4 ) : 541 – 580 .
   Web of Science ®Google Scholar
• Nilsson J Wittenmark B Törngren M Sanfridson M 1998 Timing problems in real-time control systems Technical Report DICOSMOS Project ISRN KTH/MMK–98/20–SE, KTH Stockholm
   Google Scholar
• Puschner , P and Burns , A . 2000 . Guest editorial: A review of worst-case execution-time analysis . Real Time Systems , 18 ( 2–3 ) : 115 – 128 .
   Google Scholar
• Ramamoorthy , C and Ho , G . 1980 . Performance evaluation of asynchronous concurrent systems using Petri nets . IEEE Transactions on Software Engineering , 6 ( 5 ) : 440 – 449 .
   Web of Science ®Google Scholar
• Ryu M Hong S Saksena M 1997 Streamlining real-time controller design: From performance specifications to end-to-end timing constraints IEEE Real Time Systems Symposium Montreal Canada June 1997
   Google Scholar
• Sandström K Norström C 2002 Managing complex temporal requirements in real-time control systems 9th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS’02) Lund Sweden
   Google Scholar
• Sanfridson M 2000 Problem formulations for qos management in automatic control Technology Report TRITA-MMK 2000-3, ISSN 1400-1179, ISRN KTH/MMK–00/3–SE, KTH Stockholm
   Google Scholar
• Sha , L , Rajkumar , R and Lehoczky , JP . 1990 . Priority inheritance protocols: An approach to real-time synchronization . IEEE Transactions on Computers , 39 : 1175 – 1185 .
   Google Scholar
• Simon , D , Castillo , E and Freedman , P . 1998 . Design and analysis of synchronization for real time closed-loop control in robotics . IEE Transactions on Control Systems Technology , 6 ( 4 ) : 445 – 461 .
   Google Scholar
• Simon , D , Espiau , B , Castillo , E and Kapellos , K . 1993 . Computer-aided design of a generic robot controller handling reactivity and real-time control issues . IEEE Transactions on Control Systems Technology , 1 : 213 – 229 .
   Google Scholar
• Simpson , H . 1997 . Multireader and multiwriter asynchronous communication mechanisms . IEE Proceedings—Computer and Digiral Techniques , 144 ( 4 ) : 241 – 244 .
   Google Scholar
• Spuri , M and Stankovic , J . 1994 . How to integrate precedence constrains and shared resources in real-time scheduling . IEEE Transactions on Computers , 43 ( 12 ) : 1407 – 1412 .
   Google Scholar
• Törngren , M . 1998 . Fundamentals of implementing real-time control applications in distributed computer systems . Real Time Systems , 14 ( 3 ) : 219 – 250 .
   Google Scholar
• Wittenmark B 2001 A sample-induced delays in synchronous multirate systems European Control Conference Porto Portugal pp. 3276–3281
   Google Scholar