Abstract
This paper gives an answer to Cospecification. Our contribution to cospecification is twofold: allowing both to abstractly specify systems without a priori on partitioning step, and achieve a posteriori partial correctness proofs of C programs (software parts) and VHDL programs (hardware parts) with respect to specifications.
This is a preview of subscription content, log in via an institution to check access.
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
Aiguier, M., Béroff, S., Schobbens, P.-Y.: An algebraic approach to real-time specification. Technical report, University of Evry val-d’Essonne (2001)
Alur, R., Feder, T., Henzinger, T.: The benefits of relaxing punctuality. Journal of the ACM 43(1), 116–146 (1996)
Alur, R., Henzinger, T.: Logics and models of real time: a survey. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 74–106. Springer, Heidelberg (1992)
Astesiano, E., Zucca, E.: D-oids: A model for dynamic data types. Math. Struct. Comp. Sci. 5(2), 257–282 (1995)
Baeten, J., Bergstra, J.: Real-time process algebra. Formal Aspects of Computing 3(2), 142–188 (1991)
Bernot, G., Gall, P.L., Aiguier, M.: Label algebras and axception handling. Science of Computer Programming 23, 227–286 (1994)
Borzyszkowski, T.: Logical systems for structured specifications. Theoretical Computer Science (2002) (paraitre)
Campos, S., Clarke, E., Marrero, W., Minea, M., Hiraishi, H.: Computing quantitative characteristics of finite-state real-time systems. In: Proceedings of the 15th Annual Real-time Systems Symposium. IEEE Computer Society Press, Los Alamitos (1994)
Dauchy, P., Gaudel, M.-C.: Algebraic specifications with implicit state. Technical Report LRI-887-1994, Université de Paris-Sud (1994)
Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal Logic. Clarendon Press, Oxford (1994)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM 39(1), 95–146 (1992)
Harel, E., Lichtenstein, O., Pnueli, A.: Explicit-clock temporal logic. In: Proceedings of the Fifth Annual Symposium on Logic in Computer Science, pp. 402–413. IEEE Computer Society Press, Los Alamitos (1990)
Kloos, C.D., Breuer, P.-T.: Formal Semantics for VHDL. Kluwer Academic Publishers, Dordrecht (1995)
Kosiuczenko, P., Wirsing, M.: Timed rewriting logic with an application to object-based specification. Science of Computer Programming 28(2–3), 225–246 (1997)
Léonard, L., Leduc, G.: An introduction to ET-LOTOS for the description of time-sensitive systems. Computer Networks and ISDN Systems 29(3), 271–292 (1997)
Walicki, M., Meldal, S.: Algebraic approaches to nondeterminism: An overview. ACMCS 29(1), 30–81 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aiguier, M., Béroff, S., Schobbens, PY. (2005). An Algebraic Approach for Codesign. In: Liu, Z., Araki, K. (eds) Theoretical Aspects of Computing - ICTAC 2004. ICTAC 2004. Lecture Notes in Computer Science, vol 3407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31862-0_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-31862-0_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25304-4
Online ISBN: 978-3-540-31862-0
eBook Packages: Computer ScienceComputer Science (R0)