Compiling SCCharts — A case-study on interactive model-based compilation

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

Volumn 8802, Issue , 2014, Pages 461-480

  Motika, Christian ^a   Smyth, Steven ^a   von Hanxleden, Reinhard ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL METHODS; SAFETY ENGINEERING; SEMANTICS;

DIVIDE AND CONQUER; INCREMENTAL COMPILATION; INTERACTIVE ENVIRONMENTS; INTERACTIVE MODELING; LANGUAGE CONSTRUCTS; SIMPLIFIED LANGUAGES; TEXTUAL DESCRIPTION; VALIDATION STRATEGIES;

C (PROGRAMMING LANGUAGE);

EID: 84910621769     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-662-45234-9_32     Document Type: Conference Paper

References (15)

1. André, C.: Semantics of SyncCharts. Technical Report ISRN I3S/RR-2003-24-FR, I3S Laboratory, Sophia-Antipolis, France (April 2003).
2. Benveniste, A., Caspi, P., Edwards, S. A., Halbwachs, N., Guernic, P. L., de Simone, R.: The synchronous languages twelve years later. In: Proc. IEEE, Special Issue on Embedded Systems, vol. 91, pp. 64-83. IEEE, Piscataway (2003).
3. Edwards, S. A.: Tutorial: Compiling concurrent languages for sequential processors. ACM Transactions on Design Automation of Electronic Systems 8(2), 141-187 (2003).
4. Fuhrmann, I., Broman, D., Smyth, S., von Hanxleden, R.: Towards interactive timing analysis for designing reactive systems. Technical Report UCB/EECS-2014-26, EECS Department, University of California, Berkeley (April 2014).
5. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231-274 (1987).
6. Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293-333 (1996).
7. Lee, E. A.: The problem with threads. IEEE Computer 39(5), 33-42 (2006).
8. Potop-Butucaru, D., Edwards, S. A., Berry, G.: Compiling Esterel. Springer (May 2007).
9. Schneider, C., Spönemann, M., von Hanxleden, R.: Just model!-Putting automatic synthesis of node-link-diagrams into practice. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2013), San Jose, CA, USA, September 15-19, pp. 75-82 (2013).
10. Schneider, K.: The synchronous programming language Quartz. Internal report, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany (2010), http://es. cs. uni-kl. de/publications/datarsg/Schn09. pdf.
11. von der Beeck, M.: A comparison of Statecharts variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol. 863, pp. 128-148. Springer, Heidelberg (1994).
12. von Hanxleden, R., Duderstadt, B., Motika, C., Smyth, S., Mendler, M., Aguado, J., Mercer, S., O’Brien, O.: SCCharts: Sequentially Constructive Statecharts for safety-critical applications. Technical Report 1311, Christian-Albrechts-Universität zu Kiel, Department of Computer Science (December 2013) ISSN 2192-6247.
13. von Hanxleden, R., Duderstadt, B., Motika, C., Smyth, S., Mendler, M., Aguado, J., Mercer, S., O’Brien, O.: SCCharts: Sequentially Constructive Statecharts for safety-critical applications. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014), Edinburgh, UK, ACM (June 2014).
14. von Hanxleden, R., Lee, E. A., Motika, C., Fuhrmann, H.: Multi-view modeling and pragmatics in 2020. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 209-223. Springer, Heidelberg (2012).
15. von Hanxleden, R., Mendler, M., Aguado, J., Duderstadt, B., Fuhrmann, I., Motika, C., Mercer, S., O’Brien, O.: Sequentially Constructive Concurrency-A conservative extension of the synchronous model of computation. In: Proc. Design, Automation and Test in Europe Conference (DATE 2013), Grenoble, France, pp. 581-586. IEEE (March 2013).