826
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Teaching business & IT courses? Request a digital desk copy of any BCS Publishing title via the BCS Bookshop Inspection Copy Request form.

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Dependability Evaluation of Complex Embedded Systems and Microsystems

      Published
      proceedings-article
      (1) , (1) , (1) , (1) , (2) , (1) , (2) , (3)
      Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009) (VECOS)
      Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
      2-3 July 2009
      Complex systems, Finite State Automaton, Binary Decision Diagram, SW/HW analysis, RAMS analysis
      Bookmark

            Abstract

            The evaluation of the dependability performance (Reliability, Availability, Maintainability and Safety-RAMS) of complex embedded systems requires the development of new approaches. In software-intensive systems, the dependability structure of the functions depends on the software. The search of fault sequences must involve software and hardware. The proposed method contributes to the qualitative and quantitative safety analysis of systems and micro-systems.

            Content

            Author and article information

            Contributors
            Conference
            July 2009
            July 2009
            : 1-15
            Affiliations
            [ (1) ]A3SI, Arts et Métiers ParisTech, 4 rue Augustin Fresnel, F-57078 Metz cedex 3
            [ (2) ]LRR, TU-München, Institut für Informatik 10, Boltzmannstr. 3, D-85747 Garching bei München
            Article
            10.14236/ewic/VECOS2009.9
            ff3a7625-9701-4c7e-b313-cea18426c05b
            © Malassé O. et al. Published by BCS Learning and Development Ltd. Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009), Rabat, Morroco

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
            VECOS
            3
            Rabat, Morroco
            2-3 July 2009
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2009.9
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            Complex systems,SW/HW analysis,Finite State Automaton,RAMS analysis,Binary Decision Diagram

            Comments

            Comment on this article