SAL-based symbolic scheduling in time-triggered networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5423 LNCS, Issue , 2009, Pages 200-214

  Voss, Sebastian ^a   Sorea, Maria ^a   Echtle, Klaus ^b  

^a AIRBUS GROUP INNOVATIONS   (Germany)

^b UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); FORMAL METHODS; MODELING LANGUAGES; SCHEDULING; SIGNAL ENCODING;

AVIONICS APPLICATIONS; END TO END LATENCIES; MESSAGE SCHEDULING; MODEL CHECKING TOOLS; SCHEDULING PROBLEM; SLOT POSITION; SYMBOLIC SCHEDULING; TIME TRIGGERED;

MODEL CHECKING;

EID: 67650434108     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00255-7_14     Document Type: Conference Paper

References (12)

1. Pop, P., Eles, P., Peng, Z.: Scheduling with optimized communication for timetriggered embedded systems. In: CODES 1999, pp. 178-182. ACM Press, New York (1999)
2. Tovar, E., Vasques, F.: From task scheduling in single processor environments to message scheduling in a profibus. In: IPPS/SPDP Workshops, pp. 339-252 (1999)
3. Voss, S., Sorea, M., Echtle, K.: Symbolic task and message scheduling for timetriggered networks (in preparation, 2008)
4. Farcas, E., Farcas, C., Pree, W., Templ, J.: Transparent distribution of real-time components based on logical execution time. SIGPLAN Not. 40(7), 31-39 (2005)
5. Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems) 40, 117-134 (1994)
6. Abdelzaher, T.F., Shin, K.G.: Combined task and message scheduling in distributed real-time systems. IEEE Trans. Parallel Distrib. Syst. 10(11) (1999)
7. Jensen, A.R., Lauritzen, L.B., Laursen, O.: Optimal task graph scheduling with binary decision diagrams (2004)
8. Metzner, A., Fränzle, M., Herde, C., Stierand, I.: Scheduling distributed real-time systems by satisfiability checking. In: RTCSA 2005, Washington, DC, USA, pp. 409-415. IEEE Computer Society Press, Los Alamitos (2005)
9. de Moura, L., Owre, S., Rueb, H., Rushby, J., Shankar, N., Sorea, M., Tiwari, A.: Tool presentation: SAL2. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114. Springer, Heidelberg (2004)
10. Dutertre, B., de Moura, L.: A fast linear-arithmetic solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 81-94. Springer, Heidelberg (2006)
11. de Moura, L., Rueb, H., Sorea, M.: Bounded model checking and induction: From refutation to verification. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 14-26. Springer, Heidelberg (2003)
12. Shankar, N., Sorea, M.: Counterexample-driven model checking. Technical Report SRI-CSL-03-04, SRI International (2003)