메뉴 건너뛰기




Volumn 21, Issue 3, 2011, Pages 307-338

Multi-task implementation of multi-periodic synchronous programs

Author keywords

Embedded systems; Preemptive multitasking; Real time; Synchronous languages

Indexed keywords

EARLIEST DEADLINE FIRST; FUNCTIONAL SEMANTICS; HIERARCHICAL ASSEMBLIES; HIGH LEVEL OF ABSTRACTION; PREEMPTIVE MULTITASKING; PRIORITY-BASED SCHEDULERS; REAL-TIME; REAL-TIME ARCHITECTURE; REAL-TIME PLATFORM; REAL-TIME SEMANTICS; REAL-TIME SOFTWARE; REAL-TIME TASKS; RELEASE DATE; SYNCHRONOUS LANGUAGES; SYNCHRONOUS PROGRAM; SYNCHRONOUS SYSTEM;

EID: 79960066867     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-011-0107-x     Document Type: Article
Times cited : (67)

References (40)
  • 3
    • 35348839839 scopus 로고    scopus 로고
    • Sustainable scheduling analysis
    • DOI 10.1109/RTSS.2006.47, 4032345, Proceedings of 27th IEEE International Real-Time Systems Symposium, RTSS 2006
    • Baruah SK, Burns A (2006) Sustainable scheduling analysis. In: Proceedings of the 27th IEEE international real-time systems symposium (RTSS'06). IEEE Computer Society, pp 159-168 (Pubitemid 351209727)
    • (2006) Proceedings - Real-Time Systems Symposium , pp. 159-168
    • Baruah, S.1    Burns, A.2
  • 4
    • 0026223069 scopus 로고
    • Synchronous programming with events and relations. The SIGNAL language and its semantics
    • DOI 10.1016/0167-6423(91)90001-E
    • A Benveniste P Le Guernic C Jacquemot 1991 Synchronous programming with events and relations: the signal language and its semantics Sci Comput Program 16 2 103 149 0745.68031 10.1016/0167-6423(91)90001-E (Pubitemid 21721822)
    • (1991) Science of Computer Programming , vol.16 , Issue.2 , pp. 103-149
    • Benveniste Albert1    Le Guernic Paul2    Jacquemot Christian3
  • 7
    • 0344794029 scopus 로고    scopus 로고
    • PhD thesis, Department of Automatic Control, Lund University, Sweden
    • Cervin A (2003) Integrated control and real-time scheduling. PhD thesis, Department of Automatic Control, Lund University, Sweden
    • (2003) Integrated Control and Real-time Scheduling
    • Cervin, A.1
  • 8
    • 0001552016 scopus 로고
    • Dynamic scheduling of real-time tasks under precedence constraints
    • 10.1007/BF00365326
    • H Chetto M Silly T Bouchentouf 1990 Dynamic scheduling of real-time tasks under precedence constraints Real-Time Syst 2 3 181 194 10.1007/BF00365326
    • (1990) Real-Time Syst , vol.2 , Issue.3 , pp. 181-194
    • Chetto, H.1    Silly, M.2    Bouchentouf, T.3
  • 14
    • 34548836760 scopus 로고    scopus 로고
    • The architecture analysis & design language (AADL): An introduction
    • Carnegie Mellon University
    • Feiler PH, Gluch DP, Hudak JJ (2006) The architecture analysis & design language (AADL): an introduction. Tech. Rep. CMU/SEI-2006-TN-011, Carnegie Mellon University
    • (2006) Tech. Rep. CMU/SEI-2006-TN-011
    • Feiler, P.H.1    Gluch, D.P.2    Hudak, J.J.3
  • 19
    • 49749153182 scopus 로고    scopus 로고
    • Automatic rate desynchronization of embedded reactive programs
    • 10.1145/1165780.1165786
    • A Girault X Nicollin M Pouzet 2006 Automatic rate desynchronization of embedded reactive programs ACM Trans Embedded Comput Syst 5 3 687 717 10.1145/1165780.1165786
    • (2006) ACM Trans Embedded Comput Syst , vol.5 , Issue.3 , pp. 687-717
    • Girault, A.1    Nicollin, X.2    Pouzet, M.3
  • 20
    • 0014477093 scopus 로고
    • Bounds on multiprocessing timing anomalies
    • 0188.23101 10.1137/0117039
    • RL Graham 1969 Bounds on multiprocessing timing anomalies SIAM J Appl Math 17 2 416 429 0188.23101 10.1137/0117039
    • (1969) SIAM J Appl Math , vol.17 , Issue.2 , pp. 416-429
    • Graham, R.L.1
  • 24
    • 0242527741 scopus 로고    scopus 로고
    • Giotto: A time-triggered language for embedded programming
    • 10.1109/JPROC.2002.805825
    • TA Henzinger B Horowitz CM Kirsch 2003 Giotto: a time-triggered language for embedded programming Proc IEEE 91 1 84 99 10.1109/JPROC.2002.805825
    • (2003) Proc IEEE , vol.91 , Issue.1 , pp. 84-99
    • Henzinger, T.A.1    Horowitz, B.2    Kirsch, C.M.3
  • 27
    • 79960032041 scopus 로고    scopus 로고
    • The objective Caml system release 3.09, documentation and user's manual
    • Leroy X (2006) The objective Caml system release 3.09, documentation and user's manual. INRIA
    • (2006) INRIA
    • Leroy, X.1
  • 28
    • 84974687699 scopus 로고
    • Scheduling algorithms for multiprogramming in a hard-real-time environment
    • 0265.68013 10.1145/321738.321743
    • CL Liu JW Layland 1973 Scheduling algorithms for multiprogramming in a hard-real-time environment J ACM 20 1 46 61 0265.68013 10.1145/321738.321743
    • (1973) J ACM , vol.20 , Issue.1 , pp. 46-61
    • Liu, C.L.1    Layland, J.W.2
  • 35
    • 62949173834 scopus 로고    scopus 로고
    • A LPV approach to control and real-time scheduling codesign: Application to a robot-arm control
    • Cancun Mexique
    • Sename O, Simon D, Ben Gaïd MEM (2008) A LPV approach to control and real-time scheduling codesign: application to a robot-arm control. In: Proceedings of the 47th IEEE conference on decision and control (CDC'08), Cancun Mexique, pp 4891-4897
    • (2008) Proceedings of the 47th IEEE Conference on Decision and Control (CDC'08) , pp. 4891-4897
    • Sename, O.S.1
  • 36
    • 19544379529 scopus 로고    scopus 로고
    • Cheddar: A flexible real time scheduling framework
    • Proceedings of the ACM SIGAda Annual International Conference; SIGAda 2004: The Engineering of Correct and Reliable Software for Real-Time and Distributed Systems Using Ada and Related Technologies
    • F Singhoff J Legrand L Nana L Marcé 2004 Cheddar: a flexible real time scheduling framework Ada Lett XXIV 4 1 8 10.1145/1046191.1032298 (Pubitemid 40730713)
    • (2004) Proceedings of the ACM SIGAda Annual International Conference; SIGAda , pp. 1-8
    • Singhoff, F.1    Legrand, J.2    Nana, L.3    Marce, L.4
  • 38
    • 34547453769 scopus 로고    scopus 로고
    • A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling
    • DOI 10.1145/1176887.1176892, Proceedings of the 6th ACM and IEEE International Conference on Embedded Software, EMSOFT 2006
    • Sofronis C, Tripakis S, Caspi P (2006) A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. In: Proceedings of the 6th international conference on embedded software (EMSOFT'06), Seoul, South Korea, pp 21-33 (Pubitemid 47168572)
    • (2006) IEEE International Conference on Embedded Software, EMSOFT 2006 , pp. 21-33
    • Sofronis, C.1    Tripakis, S.2    Caspi, P.3
  • 39
    • 0004241245 scopus 로고    scopus 로고
    • The Mathworks The Mathworks
    • The Mathworks (2009) Simulink: user's guide. The Mathworks
    • (2009) Simulink: User's Guide
  • 40


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.