This approach is evaluated through case studies conducted in the domains of avionics and pervasive computing.įixed wing and multirotor UAVs are common in the field of robotics. Indeed, the generation of a dedicated programming framework allows to guide the implementation while the generation of a formal model allows to guide the static verification and simulation support eases the testing. From the description of an application, development support is generated to guide the implementation and verification stages. This language is based on adedicated paradigm and integrates dependability concepts such as error handling. Inparticular, a design language is used to describe both functional and non-functional applications. ![]() This approachis materialized through a tool-suite called DiaSuite and offers dedicated support for each stage of the development. Easing this process calls for the research of new development approaches that integrate dependability concepts and guide the developers during each step of the development of trustworthy applications.This thesis proposes to leverage a design-driven approach to guide the development of dependable applications. Such constraints make the development of dependable applications particularly complex and difficult. Indeed, it is necessary to demonstrate that these high-level requirements are taken into account throughout the development cycle and concrete solutions are implemented to achieve compliance. In order to trust these applications, their development is contrained by dependability requirements. ![]() In many domains such as avionics, medecine or home automation, software applications play an increasingly important rolethat can even be critical for their environment.
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |