Add to ORKGDeveloping a dependable software is a challenging problem. Dependability requirements are emphasized in the world of embedded systems that may be safety critical. This report summarizes state of the art of technique s suitable for dependable embedded software development: static type analysis, testing, simulation, formal methods. Software engineering techniques such as aspect oriented programming and generative programming are also discussed. Finally we propose a technique based on high level dynamic languages and code generation
The goal of this article is to provide a rigorous conceptual framework for defining the concepts of ...
The new technology and system communication advances are being employed in any system, being more co...
A growing number of safety-critical systems is controlled by computer systems. In the context of sev...
Developing a dependable software is a challenging problem. Dependability requirements are emphasized...
Developing a dependable software is a challenging problem. Dependability re-quirements are emphasize...
In this paper we present a set of tools designed to support the software engineer in releasing depen...
International audienceThis paper presents a development model focused on the production of dependabl...
Abstract—Model based development has become the state of the art in software engineering. Unfortunat...
Abstract. Design of dependable systems has to fulfill several different requirements including funct...
The DepAuDE project wants to develop a design framework to evaluate which techniques, tools and me...
Current mainstream software engineering methods do not consider fault tolerance in the requirements...
With our growing reliance on computers, the total societal costs of their failures are hard to under...
A major application of dynamic adaptation is the development of safe and reliable embedded systems. ...
The powerful information processing capabilities of computers have made them an indispensable part o...
The indissoluble bonds of computers and failures have produced a plurality of fault tolerant techniq...
The goal of this article is to provide a rigorous conceptual framework for defining the concepts of ...
The new technology and system communication advances are being employed in any system, being more co...
A growing number of safety-critical systems is controlled by computer systems. In the context of sev...
Developing a dependable software is a challenging problem. Dependability requirements are emphasized...
Developing a dependable software is a challenging problem. Dependability re-quirements are emphasize...
In this paper we present a set of tools designed to support the software engineer in releasing depen...
International audienceThis paper presents a development model focused on the production of dependabl...
Abstract—Model based development has become the state of the art in software engineering. Unfortunat...
Abstract. Design of dependable systems has to fulfill several different requirements including funct...
The DepAuDE project wants to develop a design framework to evaluate which techniques, tools and me...
Current mainstream software engineering methods do not consider fault tolerance in the requirements...
With our growing reliance on computers, the total societal costs of their failures are hard to under...
A major application of dynamic adaptation is the development of safe and reliable embedded systems. ...
The powerful information processing capabilities of computers have made them an indispensable part o...
The indissoluble bonds of computers and failures have produced a plurality of fault tolerant techniq...
The goal of this article is to provide a rigorous conceptual framework for defining the concepts of ...
The new technology and system communication advances are being employed in any system, being more co...
A growing number of safety-critical systems is controlled by computer systems. In the context of sev...