Repository logo
 
Publication

Dependability validation techniques for electronic systems

dc.contributor.authorPortugal, Paulo
dc.contributor.authorCarvalho, José Augusto
dc.contributor.authorCarvalho, Adriano
dc.date.accessioned2010-02-12T16:12:37Z
dc.date.available2010-02-12T16:12:37Z
dc.date.issued2002
dc.description.abstractDependability has become an essential parameter on system design. The fulfillment of the system function, either in mission oriented or in continuous operation, requires knowledge about all possible failure modes. If a fault occurrence causes a mis-operation it should be approached a design for a dependable system. Some issues should be performed both at system design and development stages, in order to build a robust system, by evaluating correctly failure conditions and guaranteeing the fulfillment of the system function. The main one is the validation process as well as it conditions the modelling methods associated to and the techniques to be adopted. This paper presents an approach for analysis of validation techniques for electronic systems. The analysis points out two directions, verification techniques needed to support the design at different phases and fault forecasting techniques to assess systems behavior for modelling faults activation and occurrence.pt
dc.identifier.citationPortugal, Paulo; Carvalho, José; Carvalho, Adriano (2002). Dependability validation techniques for electronic systems. In 6th European Space Power Conference. Porto. p. 335-342. ISBN9789290928126pt
dc.identifier.isbn9789290928126
dc.identifier.urihttp://hdl.handle.net/10198/1890
dc.language.isoengpt
dc.publisherEuropean Space Agencypt
dc.subjectDependability validationpt
dc.subjectFault modelspt
dc.titleDependability validation techniques for electronic systemspt
dc.typeconference paper
dspace.entity.typePublication
oaire.citation.conferencePlacePortopt
oaire.citation.endPage342pt
oaire.citation.startPage335pt
oaire.citation.titleProceedings of the Sixth European Space Power Conferencept
person.familyNameCarvalho
person.givenNameJosé Augusto
person.identifier.ciencia-id1319-7B8B-4901
person.identifier.orcid0000-0002-6074-8112
person.identifier.scopus-author-id27168377100
rcaap.rightsopenAccesspt
rcaap.typeconferenceObjectpt
relation.isAuthorOfPublication1f4482b3-0c20-4e6f-b2a8-81d854712a81
relation.isAuthorOfPublication.latestForDiscovery1f4482b3-0c20-4e6f-b2a8-81d854712a81

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
art-space.pdf
Size:
158.45 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.73 KB
Format:
Item-specific license agreed upon to submission
Description: