• DocumentCode
    1614041
  • Title

    A design flow for critical embedded systems

  • Author

    Lefftz, Vincent ; Bertrand, Jean ; Casse, Hugues ; Clienti, Christophe ; Coussy, Philippe ; Maillet-contoz, Laurent ; Mercier, Philippe ; Moreau, Pierre ; Pierre, Laurence ; Vaumorin, Emmanuel

  • Author_Institution
    Astrium, Toulouse, France
  • fYear
    2010
  • Firstpage
    229
  • Lastpage
    233
  • Abstract
    The SoCKET project (SoC1 toolKit for critical Embedded sysTems)2 gathers industrial and academic partners to address the issue of design methodologies for critical embedded systems. They work towards the definition of a “seamless” design flow which integrates qualification and certification, from the system level to integrated circuits and to software. This paper sketches such a design flow and the associated methodologies, and briefly describes its application to industrial case studies.
  • Keywords
    embedded systems; integrated circuit design; logic design; software engineering; system-on-chip; SoCKET project; design flow; embedded system; integrated circuit; Embedded system; Hardware; Sockets; System-on-a-chip; Time domain analysis; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Embedded Systems (SIES), 2010 International Symposium on
  • Conference_Location
    Trento
  • Print_ISBN
    978-1-4244-5839-4
  • Electronic_ISBN
    978-1-4244-5840-0
  • Type

    conf

  • DOI
    10.1109/SIES.2010.5551393
  • Filename
    5551393
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1614041