Copyright © 2004 BSSE.
All rights reserved.
Impressum Legal Notice

Papers Papers Home By category All Ada Automation DASIA Presentations ISG/ASaP Platform Portability Quality Assurance Realtime Systems Safety Critical & Fault Tolerant Systems SDL Simulation System & Software Engineering Tool Integration Verification & Validation

Category Verification & Validation Improving Test Automation by Deterministic Methods in Statistical Testing [00067] Event DASIA 2006 Date 22 May 2006 - 25 May 2006 Location Berlin, Germany Files Paper This paper was presented at the DASIA 2006 conference in Berlin, Scotland. It lays out principal approaches for tackling the "small target" and "oracle" problems in statistical automatic testing by applying deterministic methods for assistance. Software Diversity by Automation [00068] Event DASIA 2005 Date 30 May 2005 - 2 Jun 2005 Location Edinburgh, Scotland Files Paper This paper was presented at the DASIA 2005 conference in Edinburgh, Scotland. It shows the result of an Automated ISVV (AISVV) activity executed on the Flight Application Software (FAS) of the Autonomous Transfer Vehicle (ATV). Down-scaling Generation, Verification and Validation of Software into the Range of Hours: The Benefits of Complete Formalisation and Automation [00012] Date Oct 2000 Files Abstract This paper discusses the advantages of formalisation and automation of software production and the challenges yet to master with current operation platforms. An Implementation and Verification Technique for Distributed Systems [00015] Event MOVEP2k: Modelling and Verification of Parallel Processes Date 19 Jun 2000 - 23 Jun 2000 Location Nantes, France Files Paper Summary of ISG/ASaP verification and validation techniques Verification and validation of distributed systems as defined by the ISG-approach is described in this paper. Procurement of a SDL Model for Behavioural Validation of MSL [00019] Date 9 Nov 1999 Files This is the final report of the ESA study on behavioural validation of MSL. A Method for the Incremental Software Development and Validation of Complex Distributed Systems [00066] Event INCOSE meeting Date 29 Sep 1999 Location Bosch telecom, Backnang, Germany In the presentation application of incremental development and validation in the area of complex distributed systems was explained. Organizing Incremental, Reusable and Automated Software Development [00020] Event DASIA'99 Date 17 May 1999 - 21 May 1999 Location Lisbon, Portugal Files Presentation Description of an approach for incremental software development and validation applying automated generation of an executable system from a minimum of system engineering information. Verification with SDL - Some Hints about How to reduce size of state space [00021] Date Jan 1999 Files Paper This paper gives advice how to master state explosion. Early System Validation: With Executable Models through the Life Cycle [00027] Date Dec 1997 References EaSySim II: Software System Validation Using Executable Models [00026] This paper was published by ESANEWS, December 1997. EaSyVaDe: Early Validation of System Design by Behavioural Simulation [00040] Event 3rd ESTEC Workshop on Simulators for European Space Programmes Date 15 Nov 1994 - 19 Nov 1994 Location ESTEC, Noordwijk, The Netherlands Files Presentation Links SDL-Forum This paper was presented during the 3rd ESTEC Workshop on Simulators for European Space Programmes, November 15th - 17th 1994 at ESTEC, Noordwijk. A Random-Testing Environment for Ada Programs [00044] Event Eurospace Symposium "Ada in Aerospace" Date Nov 1993

Papers By year 2006 2005 2004 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1986 1983 1981 1980