Sciweavers

3425 search results - page 407 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
DFT
2003
IEEE
145views VLSI» more  DFT 2003»
15 years 9 months ago
System-Level Analysis of Fault Effects in an Automotive Environment
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...
Fulvio Corno, S. Tosato, P. Gabrielli
EMSOFT
2009
Springer
15 years 11 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
AROBOTS
2011
14 years 11 months ago
Setpoint regulation for stochastically interacting robots
— We present an integral feedback controller that regulates the average copy number of a particular assembly in a system of stochastically interacting robots. The mathematical mo...
Nils Napp, Samuel Burden, Eric Klavins
ENTCS
2002
144views more  ENTCS 2002»
15 years 4 months ago
Comparative Analysis of Architectural Views Based on UML
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
Lyrene Fernandes da Silva, Virginia C. Carneiro de...
ICSE
2009
IEEE-ACM
15 years 2 months ago
Security Test Generation Using Threat Trees
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamar...