The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In the domain of software development, agile techniques are increasingly being used to improve the development process. Agile software development relies in part on rapid feedback of working software products to validate user requirements. There has been some effort to introduce agility in security-critical systems, using an explicit representation of security concerns known as an iterative security...
High integrity software systems require the rigorous validation of safety properties. Assessing whether software architectures are able to meet these properties is of great interest: to avoid the risk that the implementation does not fulfil safety requirements due to a bad design, and to reduce the development cost of safety critical parts of the system. A preliminary safety assessment is a process...
Many software failures stem from inadequate requirements engineering. This view has been supported both by detailed accident investigations and by a number of empirical studies; however, such investigations can be misleading. It is often difficult to distinguish between failures in requirements engineering and problems elsewhere in the software development lifecycle. Further pitfalls arise from the...
The safety of railway signalling systems depends on the correctness of the programming of a logical controller known as an interlocking. Assurance of correctness is usually achieved by a combination of testing, both on simulation systems and on the target hardware, and manual or tool-assisted checking of the data, with use being made in some cases of techniques of static analysis and formal methods...
This paper presents some considerations related to software safety requirements in critical computer systems, particularly in the space project domain. Some requirements issues concerning systems and software engineering are discussed, from a cultural change perspective, showing the main obstacles to be overcome in the requirements elicitation activity. The intention is to contribute with the discussion...
Techniques for defining system functional operation by the generation of state-transition models in a graphical environment will be described. This will include emulation of functions to provide iterative requirements definition at a stage which is generally consecutive in the system lifecycle, thereby reducing latent systematic errors. These techniques allow any system to be defined or redefined,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.