International audienceSafety-critical systems require a high level of safety and integrity. Therefore, generating such systems involves specific software building processes. Many domains are not traditionally involved in these types of software problems and must adapt their current processes accordingly. Typically, such requirements are developed ad hoc for each system, preventing further reuse beyond the domain-specific boundaries. This paper proposes a solution for software system development based on the reuse of dedicated subsystems, i.e., so-called dependability patterns that have been pre-engineered to adapt to a specific domain. We use Model-Driven Engineering (MDE) to describe dependability patterns and a methodology for developing ...
The requirement for higher Security and Dependability (S&D) of systems is continuously increasing, e...
The reliability assurance of software systems from design to deployment level through transformation...
The indissoluble bonds of computers and failures have produced a plurality of fault tolerant techniq...
International audienceSafety-critical systems require a high level of safety and integrity. Therefor...
Nowadays, many practitioners express their worries about current software engineering practices. New...
International audienceThe requirement for higher Security and Dependability (S&D) of systems is cont...
Abstract. Design of dependable systems has to fulfill several different requirements including funct...
Several frameworks have been proposed to help designers of embedded system applications. However, we...
As many of us already depend on computer systems to lead our lives to a standard we find acceptable,...
As many of us already depend on computer systems to lead our lives to a standard we find acceptable,...
The requirement for higher quality and seamless development of systems is continuously increasing, e...
Maintenance of real-world systems is a complex task involving several actors, procedures and technol...
The goal of this article is to provide a rigorous conceptual framework for defining the concepts of ...
International audienceWe have developed a methodological tool support for software development based...
International audienceThe requirement for higher Security and Dependability (S&D) of systems is cont...
The requirement for higher Security and Dependability (S&D) of systems is continuously increasing, e...
The reliability assurance of software systems from design to deployment level through transformation...
The indissoluble bonds of computers and failures have produced a plurality of fault tolerant techniq...
International audienceSafety-critical systems require a high level of safety and integrity. Therefor...
Nowadays, many practitioners express their worries about current software engineering practices. New...
International audienceThe requirement for higher Security and Dependability (S&D) of systems is cont...
Abstract. Design of dependable systems has to fulfill several different requirements including funct...
Several frameworks have been proposed to help designers of embedded system applications. However, we...
As many of us already depend on computer systems to lead our lives to a standard we find acceptable,...
As many of us already depend on computer systems to lead our lives to a standard we find acceptable,...
The requirement for higher quality and seamless development of systems is continuously increasing, e...
Maintenance of real-world systems is a complex task involving several actors, procedures and technol...
The goal of this article is to provide a rigorous conceptual framework for defining the concepts of ...
International audienceWe have developed a methodological tool support for software development based...
International audienceThe requirement for higher Security and Dependability (S&D) of systems is cont...
The requirement for higher Security and Dependability (S&D) of systems is continuously increasing, e...
The reliability assurance of software systems from design to deployment level through transformation...
The indissoluble bonds of computers and failures have produced a plurality of fault tolerant techniq...