Abstract
High-level formal programming languages require system designers to provide a very precise description of the system during early development phases, which may in some cases lead to arbitrary choices (i.e. the designer “overspecifies” the system). In this paper, we propose an extension of synchronous dataflow languages where the designer can specify that he does not care whether some communication is immediate or delayed. It is then up to the compiler to choose where to introduce delays, in a way that breaks causality cycles and satisfies latency requirements imposed on the system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1), 64–83 (2003)
Boniol, F., Hladik, P.-E., Pagetti, C., Aspro, F., Jégu, V.: A Framework for Distributing Real-Time Functions. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 155–169. Springer, Heidelberg (2008)
Cottet, F., Delacroix, J., Kaiser, C., Mammeri, Z.: Scheduling in real-time systems. John Wiley & Sons (October 2002)
Dormoy, F.-X.: Scade 6 a model based solution for safety critical software development. In: Embedded Real-Time Systems Conference, ERTS 2008 (2008)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (AADL): An introduction. Technical Report CMU/SEI-2006-TN-011, Software Engineering Institute, Carnegie Mellon University (February 2006)
Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying real-time systems by means of the synchronous data-flow language lustre. IEEE Trans. Software Eng. 18(9), 785–793 (1992)
Halbwachs, N., Raymond, P., Ratel, C.: Generating Efficient Code from Data-Flow Programs. In: Małuszyński, J., Wirsing, M. (eds.) PLILP 1991. LNCS, vol. 528, pp. 207–218. Springer, Heidelberg (1991)
Kahn, G.: The semantics of simple language for parallel programming. In: IFIP Congress, pp. 471–475 (1974)
Le Berre, D., Parrain, A.: The sat4j library, release 2.2 system description. Journal on Satisfiability, Boolean Modeling and Computation 7, 59–64 (2010)
Leiserson, C.E., Saxe, J.B.: Optimizing synchronous systems. In: 22nd Annual Symposium on Foundations of Computer Science, SFCS 1981, pp. 23–36. IEEE (1981)
Mallet, F., DeAntoni, J., André, C., de Simone, R.: The clock constraint specification language for building timed causality models. Innovations in Systems and Software Engineering 6, 99–106 (2010), doi:10.1007/s11334-009-0109-0
Maraninchi, F., Halbwachs, N.: Compositional Semantics of Non-Deterministic Synchronous Languages. In: Riis Nielson, H. (ed.) ESOP 1996. LNCS, vol. 1058, pp. 235–249. Springer, Heidelberg (1996)
OMG. A UML profile for MARTE. Technical report, Object Management Group, Inc. (2007)
OMG. Systems modeling language. Technical report, Object Management Group, Inc. (2010)
O’Neil, T.W., Tongsima, S., Sha, E.H.-M.: Optimal scheduling of data-flow graphs using extended retiming. In: Proceedings of the ISCA 12th International Conference on Parallel and Distributed Computing Systems, pp. 292–297 (1999)
Pagetti, C., Forget, J., Boniol, F., Cordovilla, M., Lesens, D.: Multi-task implementation of multi-periodic synchronous programs. Discrete Event Dynamic Systems 21(3), 307–338 (2011)
Pouzet, M.: Lucid Synchrone, version 3. Tutorial and reference manual. Université Paris-Sud, LRI (2006)
Tarjan, R.E.: Enumeration of the elementary circuits of a directed graph. SIAM J. Comput. 2(3), 211–216 (1973)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wyss, R., Boniol, F., Forget, J., Pagetti, C. (2012). A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. In: Jhala, R., Igarashi, A. (eds) Programming Languages and Systems. APLAS 2012. Lecture Notes in Computer Science, vol 7705. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35182-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-35182-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35181-5
Online ISBN: 978-3-642-35182-2
eBook Packages: Computer ScienceComputer Science (R0)