Skip to main content
SpringerLink
Log in

UF: Architecture and Semantics for System-Level Multiformalism Descriptions

  • Chapter
Electronic Chips & Systems Design Languages

  • 86 Accesses

Abstract

In many industrial cases, the design of complex systems results in descriptions of the system that make use of different specification languages. In this paper we present a language, for the description of the global architecture of a system specified using such multilanguage approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Delgado Kloos, C., Pickin, S., Sánchez, L., and Groba, A. (1999). High-Level Specification Languages for Embedded System Design. In Jerraya, A. and Mermet, J., editors, System Level Synthesis,pages 137–174. Kluwer Academic Publishers.

    Google Scholar 

  • Design & Reuse. http://www.design-reuse.com.

  • Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8: 231–274.

    Article  MathSciNet  MATH  Google Scholar 

  • ISI (1996). System Build Reference Guide. Integrated Systems Incorporated

    Google Scholar 

  • Ismail, T. and Jerraya, A. (1995). Synthesis steps and design models for co-design. IEEE Computer, 28 (2): 44–52.

    Article  Google Scholar 

  • ITU-T (1993). Recommendation Z.100. CCITT Specification and description language SDL.

    Google Scholar 

  • Kleinjohan, B., Tacken, J., and Tahedl, C. (1997). Towards a complete design method for embedded systems using Predicate/Transition-Nets. In Delgado Kloos, C. and Cerny, E., editors, IFIP Conf Hardware Description Languages (CHDL),pages 4–23. Chapman & Hall.

    Google Scholar 

  • OMG (1999). CORBA/IIOP 2.3.1 Specification. The Object Management Group. http://www.omg.org/corba/corbaiiop.html.

  • RAPID. Reusable Application-Specific Intellectual Property Developers. http://www.rapid.org.

  • Romdhani, M., Hautbois, R., Jeffroy, A., de Chazelles, P., and Jerraya, A. (1995). Evaluation and composition of specification languages, an industrial point of view. In IFIP Conf. Hardware Description Languages (CHDL), pages 519–523.

    Google Scholar 

  • Sánchez Fernández, L. et al. (1998). Hardware-Software Prototyping from LO-TOS. Design Automation for Embedded Systems, 3 (2/3): 117–148.

    Google Scholar 

  • Sánchez Fernández, L. et al. (1999). Definition of the Composition Formalism. Deliverable D22.2 of the EP 23015 COMITY Project.

    Google Scholar 

  • VSI Alliance. http://www.vsi.org.

Download references

Author information

Authors and Affiliations

  1. Dep. Tecnologías de las Comunicaciones, Universidad Carlos III de Madrid, Av. Universidad, 30, E-28911, Leganés (Madrid), Spain

    Luis Sánchez Fernández

  2. Dep. de Lenguajes, Proyectos y Sistemas Informáticos, E. U. Informática, Univ. Politécnica de Madrid, Ctra. Valencia, km 7, 28031, Madrid, Spain

    Simon Pickin

  3. EUIT Telecomunicación, Univ. Politécnica de Madrid, Ctra. Valencia, km 7, 28031, Madrid, Spain

    Angel Groba

  4. Forschungszentrum Informatik (FZI), Haid-und-Neu-Stra(e 10-14, D-76131, Karlsruhe, Germany

    Natividad Martínez Madrid

  5. Dep. Ingeniería de Sistemas Telemáticos, ETSI Telecomunicación, Univ. Politécnica de Madrid, Ciudad Universitaria, E-28040, Madrid, Spain

    Alejandro Alonso

Authors
  1. Luis Sánchez Fernández
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Simon Pickin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Angel Groba
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Natividad Martínez Madrid
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Alejandro Alonso
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CNRS, ECSI, France

    Jean Mermet (Directeur de recherches) (Directeur de recherches)

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer Science+Business Media New York

About this chapter

Cite this chapter

Fernández, L.S., Pickin, S., Groba, A., Madrid, N.M., Alonso, A. (2001). UF: Architecture and Semantics for System-Level Multiformalism Descriptions. In: Mermet, J. (eds) Electronic Chips & Systems Design Languages. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-3326-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-1-4757-3326-6_7

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4419-4884-7

  • Online ISBN: 978-1-4757-3326-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation