HASE 2007 - PDF Preprint Papers

HASE 2007 IEEE International Symposium on High-Assurance Systems Engineering

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed HASE-2007 Paper

click to vote

HASE
2007
IEEE

221views Control Systems» more HASE 2007»

Integrating Product-Line Fault Tree Analysis into AADL Models

13 years 11 months ago

Download www.cs.iastate.edu

Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...

Hongyu Sun, Miriam Hauptman, Robyn R. Lutz

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	221	Integrating Product-Line Fault Tree Analysis into AADL Models	claim
2	161	Model Validation using Automatically Generated Requirements-Based Tests	claim
3	142	A Fault Taxonomy for Service-Oriented Architecture	claim
4	141	Advances in Quantum Computing Fault Tolerance and Testing	claim
5	136	On the Verifiability of Programs Written in the Feature Language Extensions	claim
6	133	Model-Checker-Based Testing of LTL Specifications	claim
7	133	Validation Support for Distributed Real-Time Embedded Systems in VDM++	claim
8	131	Parsimonious Classifiers for Software Quality Assessment	claim
9	128	Design of a Fairness Guarantee Mechanism Based on Network Measurement	claim
10	128	Behavioral Fault Modeling for Model-based Safety Analysis	claim
11	127	A Mobile Agent-based Multi-Robot Design Method for High-Assurance	claim
12	120	Systems Architectures for Transactional Network Interface	claim
13	120	Flexible Authorization with Decentralized Access Control Model for Grid Computing	claim
14	119	Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies	claim
15	116	Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML	claim
16	115	Arguing safety with Problem Oriented Software Engineering	claim
17	106	An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms	claim
18	103	A Nonparametric Cusum Algorithm for Timeslot Sequences with Applications to Network Surveillance	claim
19	100	Precise Documentation of Critical Software	claim
20	98	Transformation-Based Library Adaptation for Embedded Systems	claim
21	97	Multiple Pre/Post Specifications for Heap-Manipulating Methods	claim
22	95	Analytic Model for Web Anomalies Classification	claim
23	92	Development of Custom Selling System Using Ad Hoc Networks	claim
24	92	Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements	claim
25	88	Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities	claim
26	83	Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation	claim
27	83	Scalable, Adaptive, Time-Bounded Node Failure Detection	claim
28	82	High-Assurance Distributed, Adaptive Software for Dynamic Systems	claim
29	81	SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths	claim
30	80	Vulnerability Discovery in Multi-Version Software Systems	claim
31	78	Adding Autonomic Capabilities to Network Fault Management System	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers