Eine funktionale, synchrone Programmiersprache für eingebettete Echtzeitsysteme

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Paul Hudak,et al.  Functional reactive programming from first principles , 2000, PLDI '00.

[3]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[4]  Bran Selic,et al.  Ward real-time object-oriented modeling , 1994 .

[5]  Paul Hudak.  The Haskell School of Expression: Learning Functional Programming through Multimedia , 1999 .

[6]  Brian C. Williams,et al.  Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State , 2002, CP.

[7]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

[8]  Edsger W. Dijkstra,et al.  The structure of the “THE”-multiprogramming system , 1968, CACM.

[9]  David M. Weiss,et al.  Software Product-Line Engineering: A Family-Based Software Development Process , 1999 .

[10]  William W. Wadge,et al.  Lucid, the dataflow programming language , 1985 .

[11]  Paul Hudak,et al.  Real-time FRP , 2001, ICFP '01.

[12]  Radha Jagadeesan,et al.  Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..

[13]  Robert de Simone,et al.  The SL Synchronous Language , 1996, IEEE Trans. Software Eng..

[14]  Dan Tsafrir,et al.  Effects of clock resolution on the scheduling of interactive and soft real-time processes , 2003, SIGMETRICS '03.

[15]  Daniel G. Bobrow,et al.  Programming in Hybrid Constraint Languages , 1994, Hybrid Systems.

[16]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[17]  Greg J. Michaelson,et al.  Hume: A Domain-Specific Language for Real-Time Embedded Systems , 2003, GPCE.

[18]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[19]  David Lorge Parnas,et al.  Some software engineering principles , 2001 .

[20]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[21]  Lennart Augustsson,et al.  Cayenne—a language with dependent types , 1998, ICFP '98.

[22]  M. Broy.  Informatik Eine grundlegende Einführung , 1998 .

[23]  Charles André.  Representation and Analysis of Reactive Behaviors: A Synchronous Approach , 2000 .

[24]  Frédéric Boussinot,et al.  Reactive C: An extension of C to program reactive systems , 1991, Softw. Pract. Exp..

[25]  Daniel Hoffman,et al.  Software Fundamentals: Collected Papers by David L.Parnas , 2001 .

[26]  David Lorge Parnas,et al.  On the Design and Development of Program Families , 2001, IEEE Transactions on Software Engineering.

[27]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[28]  Niklaus Wirth,et al.  What can we do about the unnecessary diversity of notation for syntactic definitions? , 1977, Commun. ACM.

[29]  Manfred Günther.  Kontinuierliche und zeitdiskrete Regelungen , 1997 .

[30]  Reinhard Budde,et al.  Complex Reactive Control with Simple Synchronous Models , 2000, LCTES.

[31]  Christopher D. Clack,et al.  Programming With Standard Ml , 1993 .

[32]  Barry N. Taylor,et al.  Guide for the Use of the International System of Units (SI) , 1995 .

[33]  Daniel D. Gajski,et al.  SPECC: Specification Language and Methodology , 2000 .

[34]  Marc Pouzet,et al.  A conservative extension of synchronous data-flow with state machines , 2005, EMSOFT.

[35]  Bernhard Schätz,et al.  Model-Based Development of Embedded Systems , 2002, OOIS Workshops.

[36]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[37]  John F. Wakerly,et al.  The programming language PASCAL , 1979, Microprocessors and microsystems.

[38]  Paul Hudak,et al.  Functional reactive animation , 1997, ICFP '97.

[39]  Bjarne Stroustrup,et al.  The C++ programming language (3. ed.) , 1997 .

[40]  Michael Gunzert,et al.  ViPER – A Component-Based Approach for Designing Real-Time Systems , 1999 .

[41]  Bernhard Schätz,et al.  Integrierte Entwicklung von Automotive-Software mit AutoFocus , 2005, Informatik - Forschung und Entwicklung.

[42]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[43]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[44]  Brian W. Kernighan,et al.  The C Programming Language , 1978 .

[45]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[46]  Occam 2 - reference manual ; INMOS Limited , 1988, Prentice Hall International Series in Computer Science.

[47]  Bernhard Schätz,et al.  AutoFocus: A Tool for Distributed Systems Specification , 1996, FTRTFT.

[48]  Manfred Broy.  Compositional refinement of interactive systems , 1997, JACM.

[49]  Antony J. T. Davie.  An introduction to functional programming systems using Haskell , 1992 .

[50]  Arnold Berger,et al.  Embedded Systems Design: An Introduction to Processes, Tools, and Techniques , 2001 .

[51]  Paul Hudak,et al.  Event-Driven FRP , 2002, PADL.

[52]  Bernhard Schätz,et al.  Integrated Development of Embedded Systems with Auto F OCUS ∗ , 2002 .

[53]  Marc Pouzet,et al.  Towards a higher-order synchronous data-flow language , 2004, EMSOFT '04.

[54]  Frédéric Boussinot,et al.  The ESTEREL language , 1991, Proc. IEEE.

[55]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[56]  Peter Scholz,et al.  Softwareentwicklung eingebetteter Systeme - Grundlagen, Modellierung, Qualitätssicherung , 2005, Xpert.press.

[57]  Colin Runciman,et al.  Extending a functional programming system for embedded applications , 1995, Softw. Pract. Exp..

[58]  Peter C. Breedveld.  Port-based modeling of mechatronic systems , 2004, Math. Comput. Simul..

[59]  Björn Lisper,et al.  An event detection algebra for reactive systems , 2004, EMSOFT '04.

[60]  LamportLeslie.  Time, clocks, and the ordering of events in a distributed system , 1978 .

[61]  David Lorge Parnas,et al.  Review of David L. Parnas' "Designing Software for Ease of Extension and Contraction" , 2004 .

[62]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

[63]  Joseph Sifakis,et al.  Embedded Systems Design: The ARTIST Roadmap for Research and Development , 2005, Lecture Notes in Computer Science.

[64]  Leszek Holenderski,et al.  The Multi-Paradigm Synchronous Programming Language , 1998 .

[65]  Otto Mayer,et al.  Programmieren in COMMON LISP , 1988 .

[66]  RenC David,et al.  Grafcet: a powerful tool for specification of logic controllers , 1995, IEEE Trans. Control. Syst. Technol..

[67]  Edward A. Lee,et al.  What's Ahead for Embedded Software? , 2000, Computer.

[68]  Maria-Cristina V. Marinescu,et al.  From statecharts to ESP: programming with events, states and predicates for embedded systems , 2005, EMSOFT.

[69]  Joe L. Armstrong.  The development of Erlang , 1997, ICFP '97.

[70]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[71]  Fred B. Schneider,et al.  A Logical Approach to Discrete Math , 1993, Texts and Monographs in Computer Science.

[72]  John C. Mitchell,et al.  Type Systems for Programming Languages , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[73]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[74]  Michael Gunzert,et al.  Komponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete Systeme , 2003 .

[75]  Eric Sax,et al.  An Object-Based Model Representation System Lending OO Features to Non-OO Modeling Languages , 2001 .

[76]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1977, CACM.

[77]  Klaus D. Müller-Glaser,et al.  Generative Development of Embedded Real-Time Systems , 2002 .

[78]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[79]  Alan Burns.  The Ravenscar Profile , 1999, ALET.

[80]  Peter D. Mosses,et al.  Denotational semantics , 1995, LICS 1995.

[81]  Klaus D. Müller-Glaser,et al.  Multiparadigm modeling in embedded systems design , 2004, IEEE Transactions on Control Systems Technology.

[82]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[83]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[84]  Florence Maraninchi,et al.  Mode-Automata: a new domain-specific construct for the development of safe critical systems , 2003, Sci. Comput. Program..

[85]  F. Maraninchi,et al.  Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework , 2005 .

[86]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.