Sciweavers

411 search results - page 2 / 83
» Controlling Requirements Evolution: An Avionics Case Study
Sort
View
FM
2003
Springer
136views Formal Methods» more  FM 2003»
13 years 10 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
PROFES
2001
Springer
13 years 10 months ago
Requirements Evolution from Process to Product Oriented Management
Requirements Evolution represents one of the major problems in developing computer-based systems. Current practice in Requirement Engineering relies on process-oriented methodologi...
Stuart Anderson, Massimo Felici
HASE
2005
IEEE
13 years 11 months ago
Safe Allocation of Avionics Shared Resources
We propose an approach to analyse the safety of avionic systems that takes into account the impact of computation and communication resource sharing. The approach is made of three...
Laurent Sagaspe, Gérard Bel, Pierre Bieber,...
FMICS
2009
Springer
14 years 23 hour ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...
ICSEA
2008
IEEE
13 years 12 months ago
Analyzing Software Evolvability of an Industrial Automation Control System: A Case Study
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...