![]() It has been proved useful for some space applications: In particular, SDL, a standardised language used for the formal modellisation of concurrent finite state machines, has been primarily used for telecommunication protocols. The most interesting ones in the space domain are: These are quite often based on state machines that exchange sequences of events, based on a synchronous or asynchronous model. the behaviour – the behavioural modellisation languages allow formal representation of the sequence of states and events that the system experiences.the data organisation in classes and objects, and the operations that transform them, in an object oriented way – UML-based, for example with the HOORA method or a UML profile. ![]() At software level, the modellisation assists with the verification of the requirements and, more and more, with the code design and generation. The importance of having consolidated software requirements at avionics level makes desirable the use of modellisation techniques that help the specifiers to achieve complete and consistent requirements. This leads to an incomplete development, followed by difficulties in system integration and costly software reengineering. Many space project reviews identify weakness in the software requirements in the early development. Requirements engineering is currently identified as one of the weak points of the software development lifecycle. ESA - Software engineering and standardisation - Requirement engineering and modelling - printer version
0 Comments
Leave a Reply. |