All papers
Down-scaling Generation, Verification and Validation of Software into the Range of Hours: The Benefits of Complete Formalisation and Automation
This paper discusses the advantages of formalisation and automation of software production and the
challenges yet to master with current operation platforms.
Permalink
Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation
Date | 23 March 2020 |
Event | 3rd IEEE Workshop on NEXt level of Test Automation 2020 (NEXTA 2020) |
Location | Porto, Portugal |
Communication interfaces are particularly
challenging to test using automatically generated test
data. The test data sent through the interface must be
”valid enough” to overcome initial sanity checks of the
interface and reach functions deep inside the integrated
software. Machine-readable information about what
data forms ”valid enough” messages is rarely available
to test data generation tools. So instead, we evolve the
messages with an evolutionary algorithm. This enables
efficient fuzz testing for the communication interface
between a satellite and its ground station. In this pa-
per, using an algorithm implementation in our fuzzing
tool DCRTT, we investigate the impact of algorithm
parameter selection on the performance and the possi-
bility of efficient general default parameter values. The
preliminary results promise significant improvements
to automated testing with respect to software security
testing and quality assurance.
Permalink
Automation of Requirements-based Testing
Date | 4 Jun 2019 - 6 Jun 2019 |
Event | DASIA 2019 |
Location | Torremolinos, Spain |
Manual requirements-based testing is time-
consuming: Input data must cover the requirements and
observed output data must be checked for their compatibility
with the requirements. Testcases can also be automatically
generated from test models. However, these models first have to
be established manually. In contrast, the approach to be
presented here uses simpler ways of formalizing requirements
to automatically map test data generated for automatic
robustness testing using massive stimulation to requirements and
to check the results for correctness.
Permalink
Automatisierung von anforderungsbasiertem Testen
Date | 6 Dec 2018 - 6 Dec 2018 |
Event | Embedded Software Engineering Kongress 2018 |
Location | Sindelfingen, Germany |
Manual requirements-based testing is time-consuming: Input data must cover the
requirements and observed output data must be checked for their compatibility
with the requirements. Testcases can also be automatically generated from test
models. However, these models first have to be established manually. In
contrast, the approach to be presented here uses simpler ways of formalizing
requirements to automatically map test data generated for automatic robustness
testing using massive stimulation to requirements and to check the results for
correctness.
Permalink
Generating Random Telecomand Test Data Using Genetic Algorithms
Date | 29 May 2018 - 31 May 2018 |
Event | DASIA 2018 |
Location | Oxford, United Kingdom |
Generating useful test data is one of the big
challenges in automatic software testing. While random test
data generation is the easiest method, the test inputs generated
by it may fail to exercise the software under test properly if the
internal structure of the data is unknown to the generator and
at the same time relevant for the decisions taken in the code.
Handling of telecommands in space onboard software is one
example where this is the case. We investigate a method of
generating test data for these cases using genetic algorithms.
Permalink
Verification of the C++-Operating System RODOS in Context of a Small-Satellite
Date | 10 Apr 2018 - 10 Apr 2018 |
Event | 2nd Workshop on Computer Architectures in Space (CompSpace'18) |
Location | Braunschweig, Germany |
Within the small satellite mission TechnoSat of
Technische Universität Berlin, a verification strategy based on
Dynamic Analysis has been applied to the C++-operating system
RODOS using automated massive stimulation of the software-
under-test. This approach is aiming at evaluating the robustness
of the software and to derive feedback on the implemented
messaging scheme of the on-board process chain. For fault
detection and recording of message exchange the code is
automatically instrumented with application-independent
indicators which shall flag anomalies. Manual fault analysis is
limited to the reported issues highlighting fault potential in
contrast to usual reviews on the full code. The suggested reviews
were extended to similar code, an approach which turned out as
being effective. For the verification of the messaging scheme
observed functional and performance properties were evaluated.
The verification strategy targets the reduction of costs of
verification and risks. Within this paper, the different
verification steps are described and examples for reported issues
are given.
Permalink
Evaluating Automated Software Verification Tools
Date | 10 April 2018 - 12 April 2018 |
Event | ICST 2018 |
Location | Västerås, Sweden |
Automated software verification tools support devel-
opers in detecting faults that may lead to runtime errors. A fault
in critical software that slips into the field, e.g., into a spacecraft,
may have fatal consequences. However, there is an enormous
variety of free and commercial tools available. Suppliers and
customers of software need to have a clear understanding what
tools suit the needs and expectations in their domain. We selected
six tools (Polyspace, QA C, Klocwork, and others) and applied
them to real-world spacecraft software. We collected reports from
all the tools and manually verified whether they were justified.
In particular, we clocked the time needed to confirm or disprove
each report. The result is a profile of true and false positive
and negative reports for each tool. We investigate questions
regarding effectiveness and efficiency of different tools and their
combinations, what the best tool is, if it makes sense at all to
apply automated software verification to well-tested software, and
whether tools with many or few reports are preferable.
Permalink
Evaluating Test Data Generation for Untyped Data Structures Using Genetic Algorithms
Date | 9 Apr 2018 - 9 Apr 2018 |
Event | 1st IEEE Workshop on NEXt level of Test Automation 2018 (NEXTA2018) |
Location | Västerås, Sweden |
Untyped data such as the byte streams
used in communications between spacecraft and ground
stations present a specifically challenging field for au-
tomatic test data generation. We investigate variations
of genetic algorithms to improve test data generation,
and present measurements and preliminary results ob-
tained using our prototype. The future goal is to extend
our white-box random testing tool DCRTT with these
methods and thus apply the approach to industry-grade
software.
Permalink
Evaluation of Verification Tools Continued: More Tools, More Software, More Aspects
Date | 30 May 2017 - 1 Jun 2017 |
Event | DASIA 2017 |
Location | Gothenburg, Sweden |
In a previous study six software verification tools
have been applied to a representative space software package.
The findings reported by each tool have been compared in
order to derive footprints regarding fault identification. In a
continuation three more tools were applied to the previously
selected application software and to another application
together with two tools previously used in order to broaden the
base of evaluation. More aspects were considered regarding
the evaluation of results: an additional evaluation criterion was
added and a comparison of reported defects with the outcome
of unit tests was performed. Due to a higher degree of
formalization and automation the manual evaluation effort
could be decreased while extending the number of considered
reports and the number of tools. The encountered evaluation
and verification issues are discussed in detail. All results
together shall provide a detailed view on the defect
identification capabilities of the considered tools w.r.t. current
software base. Altogether, the high quality of reports as
obtained in the previous study was not obtained again: in
context of a different set of tools and another (object-oriented)
language a lot of trivial reports were observed.
Permalink
Challenges Regarding Automation of Requirements-based Testing
Date | 30 May 2017 - 1 Jun 2017 |
Event | DASIA 2017 |
Location | Gothenburg, Sweden |
Testing as a method of software verification is
limited in that it can only prove the presence of defects, not
their absence. To be useful, a large number of test cases may
be needed, a strategy that is often in conflict with project
constraints such as available time and funds. Test automation
may be considered as an interesting approach to alleviating
this conflict. However, test automation requires accurate and
computer-accessible information about the system to be tested,
both in terms of the interfaces by which the system is to be
stimulated as well as the desired properties of these interfaces.
Within the FASTII activity (FAST=Flow-optimised Automated
Source-code based Testing) the possibility of deriving this
information from available requirements and design
documents is being investigated. Preliminary results of this
investigation as well as suggestions for future changes in the
process are presented in this paper.
Permalink
Evaluierung von Software-Verifikationswerkzeugen
Date | 1 Dec 2016 - 1 Dec 2016 |
Event | Embedded Software Engineering Kongress 2016 |
Location | Sindelfingen, Germany |
We present results from the ESVW activity (Evaluierung von Software-Verifikationsmethoden und -Werkzeugen, Evaluation of Software Verification Method and Tools) BSSE and its subcontractor etamax space GmbH have performed on behalf of the German Space Center (DLR).
In the course of this activity, six different verification tools were evaluated for their fault detection capabilities.
The presentation provides an insight into the activity, the methods used, the results as well as general and specific lessons learned relevant for the use of software verification tools.
Permalink
Early Results from Characterizing Verification Tools through Coding Error Candidates Reported in Space Flight Software
Date | 10 May 2016 - 12 May 2016 |
Event | DASIA 2016 |
Location | Tallinn, Estonia |
Six software verification tools have been applied to
space flight software and the findings reported by each tool
have been compared in order to derive footprints of the tools
regarding capabilities of fault identification. Currently
available results are provided in this paper: sensitivity and
precision of individual tools and combinations of pairs of tools
out of the set. A reader should bear in mind that the results as
presented here depend on the spectrum of fault types as
present in the reference software and on the configuration of
tools towards real defects and fault types which are of interest
for embedded systems and space flight software.
Permalink
Characterizing Verification Tools through Coding Error Candidates Reported in Space Flight Software
Date | 19 May 2015 - 21 May 2015 |
Event | DASIA 2015 |
Location | Barcelona, Spain |
Mastering the continuously increasing amount of
software requires identification of more efficient strategies for
software verification. Currently, fault coverage is only
indirectly addressed, e.g. by code coverage. The idea as
presented in this paper is to get a better understanding of fault
coverage by a systematic classification of software fault types,
derivation of footprints of verification tools regarding coverage
of such fault types, and recording of required effort. A number
of issues regarding fault identification and classification are
discussed in this context.
Permalink
Automatic Test Data Generation and Model Checking with CHR
Date | 18 Jul 2014 |
Event | CHR 2014 |
Location | Vienna, Austria |
We present an example for application of Constraint Handling
Rules to automated test data generation and model checking in verification
of mission critical software for satellite control.
Permalink
Automated Source-code-based Testing of Object-Oriented Software
Date | 3 June 2014 - 5 June 2014 |
Event | DASIA 2014 |
Location | Warsaw, Poland |
With the advent of languages such as C++ and Java
in mission- and safety-critical space on-board software, new
challenges for testing and specifically automated testing arise.
In this paper we discuss some of these challenges, consequences
and solutions based on an experiment in automated source-
code-based testing for C++.
Permalink
A Case Study on Automated Source-Code-Based Testing Methods
Date | 14 May 2013 - 17 May 2013 |
Event | DASIA 2013 |
Location | Porto, Portugal |
We present results of a case study on a test
generation approach called Flow-optimized Automated
Source-code-based unit Testing (FAST) which generates test
stimuli from information available in the source code, in
particular taken from the detailed software interfaces. This
allows automation of a significant part of testing, ranging from
the test stimuli generation to the generation of the test report.
A huge number of stimuli can be generated exploring the
behaviour of the software under test under nominal and non-
nominal conditions. Symptoms like timeouts, unexpected
termination, run-time exceptions, out-of-range conditions and
missing coverage are applied for defect detection. The goal of
this study was to evaluate the FAST process in context of a real
spacecraft flight software application and to get a feedback on
its scalability regarding larger applications, its sensitivity on
detecting defects in the code, the achievable test coverage, its
compliance with software standards and potential limitations.
We also consider the impact of coding style on suitability for
automated testing. The results confirm that the approach (1)
provides acceptable code coverage results without requiring
manual intervention for test preparation and execution, (2)
raises the probability of activation of exotic fault conditions,
(3) may provide hints on locations in the code where
robustness needs to be verified, and (4) identifies defects not
found before by static analysis and intensive testing
Permalink
Potentials of Constraint-Based Methods in Software Verification and Validation
Date | 14 May 2012 - 16 May 2012 |
Event | DASIA 2012 |
Location | Dubrovnik, Croatia |
We give an overview over the principles of constraint-
based test data generation, discuss its limitations and
potentials and touch some of the domains which may be
interesting to combine with constraint-based testing
techniques. Automated generation of test data is an
example where this technique can be applied and
significantly increase the degree of automation, but it is
not limited to. This paper is intended to give interested
readers a quick entry into the methods and applications
to allow a deeper understanding and an informed verdict
about the actual capabilities and potential future
directions.
Permalink
Integrated Design and Testing of Safety-Critical Real-time Systems in Space
Date | 19 Oct 2011 |
Event | MBTUC 2011 |
Location | Berlin, Germany |
Permalink
Files
Lessens Learned on Quality (of) Standards
Date | 17 May 2011 - 20 May 2011 |
Event | DASIA 2011 |
Location | Malta |
Standards are used to describe and ensure the quality of
products, services and processes throughout almost all
branches of industry, including the field of software
engineering. Contractors and suppliers are obligated by
their customers and certification authorities to follow a
certain set of standards during development. For
example, a customer can easier actively participate in
and control the contractor’s process when enforcing a
standard process.
However, as with any requirement, a standard may also
impede the contractor or supplier in assuring actual
quality of the product in the sense of fitness for the
purpose intended by the customer.
This is the case when a standard defines specific quality
assurance activities requiring a considerable amount of
effort while other more efficient but equivalent or even
superior approaches are blocked. Then improvement of
the ratio between cost and quality exceeding miniscule
advances is heavily impeded.
While in some parts being too specific in defining the
mechanisms of the enforced process, standards are
sometimes too weak in defining the principles or goals
on control of product quality.
Therefore this paper addresses the following issues: (1)
Which conclusions can be drawn on the quality and
efficiency of a standard? (2) If and how is it possible to
improve or evolve a standard? (3) How well does a
standard guide a user towards high quality of the end
product?
One conclusion is that the analyzed standards do
interfere with technological innovation, though the
standards leave a lot of freedom for concretization and
are understood as technology-independent.
Another conclusion is that standards are not only a
matter of quality but also a matter of competitiveness of
the industry depending on resulting costs and time-to-
market. When the costs induced by a standard are not
adequate to the achievable quality, industry encounters a
significant disadvantage.
Permalink
Cleared Direct To Target - Approaching the Target System at a Touch via Simulation
Date | 2 Nov 2010 - 4 Nov 2010 |
Event | AirTec 2010 |
Location | Frankfurt am Main, Germany |
This paper describes an improved process for
development of software for critical systems fully
bridging the gap between a specification and an
executable target version by an automaton. The
process covers the broad class of distributed
and/or fault-tolerant and/or real-time systems, and
meets the needs of critical systems. It has its roots
in the space domain.
Permalink
Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR
Date | 20 Jul 2010 |
Event | CHR 2010 |
Location | Edinburgh, Scotland |
We present a new method for automatic test data generation
(ATDG) applying to semantically annotated control-flow graphs (CFGs),
covering both ATDG based on source code and assembly or virtual machine
code. The method supports a generic set of test coverage criteria, including
all structural coverage criteria currently in use in industrial software test for
safety critical software.
Several known and new strategies are supported for avoiding infeasible paths,
that is paths in the CFG for which no input exists leading to their execution.
We describe the implementation of the method in CHRv and discuss
difficulties and advantages of CHR in this context.
Permalink
Tool-Guided, Domain-Specific, Systematic Requirements Management
Date | 1 Jun 2010 - 4 Jun 2010 |
Event | DASIA 2010 |
Location | Budapest, Hungary |
The importance of the quality of requirements for
successful execution and completion of a project from a
technical and contractual point of view is being
recognized more and more. Many methods are targeted
to improve the support for collecting requirements
while still focusing on natural language. However, the
ambiguities in the semantics of natural language are the
biggest obstacles towards success. The approach
presented in this paper focuses on the elements of a
domain while keeping the expressiveness of natural
names and terms and introducing clear semantics. This
brings the advantage that immediate verification of the
human-provided inputs is possible, immediate
contributions to validation are available and
inconsistencies can be detected by a tool immediately.
This leads to guidance of an engineer by a tool towards
consistent, complete and correct requirements -
requirements of high quality - and eases maintenance
for the same reasons. As most of the complexity is
handled by the tool due to its good knowledge on the
domain, the approach is scalable towards large
specifications. Several examples of application domains
are described which illustrate the universality and
feasibility of the approach across domain boundaries.
Permalink
Position of the Working Group of German Space SME
Date | 12 Nov 2009 |
Event | ESA Workshop on Open Source Software |
Location | Noordwijk, The Netherlands |
Presentation on behalf of the Working Group of Space-SME (AKRK) of the position of German SME regarding the Open Source Software Strategy of the European Space Agency.
Permalink
Legal and Strategical Aspects of OSS in the Space Industry
Date | 12 Nov 2009 |
Event | ESA Workshop on Open Source Software |
Location | Noordwijk, The Netherlands |
Presentation of questions, risks and advantages of the Open Source Software Strategy of the European Space Agency.
Permalink
Verallgemeinertes Rahmenwerk zur constraintbasierten Testdatenerzeugung aus Programmflussgraphen
Date | 28 Oct 2009 |
Location | University of Ulm, Germany |
Generalised framework for constraintbased test-data generation using program flow graphs.
Permalink
Open Source Software - Risks and Benefits
Date | 15 Jun 2009 |
Event | Meeting of the Working Group of German Space SME (DLR-AKRK) |
Location | Bonn, Germany |
Permalink
Software Patents in Europe - Risks and Side Effects
Date | 15 Jun 2009 |
Event | Meeting of the Working Group of German Space SME (DLR-AKRK) |
Location | Bonn, Germany |
Permalink
Fault Identification Strategies
Date | 26 May 2009 - 29 May 2009 |
Event | DASIA 2009 |
Location | Istanbul, Turkey |
Various strategies for fault identification exist - e.g.
based on formal analysis of code or on testing - of
which each focuses on certain identification aspects and
fault types. This paper characterises the strengths and
weaknesses of methods in theory and practice -
focusing on application-independent identification
strategies, and it suggests strategies to maximise the
number of detected faults while minimising the related
effort. Fault activation conditions are discussed in
detail, resulting in an extended scope on stimulation
needs. In particular, the contribution of automation in
raising the activation probabilities is investigated.
Various examples of fault activation mechanisms and
statistics on fault types vs. identification methods are
provided as observed in practice. An interesting result is
the identification of application-dependent test cases by
application-independent test strategies.
Permalink
Automated Verification of Code Generated from Models: Comparing Specifications with Observations
Date | 27 May 2008 - 30 May 2008 |
Event | DASIA 2008 |
Location | Palma de Mallorca, Spain |
Certification is based on compliance of the code of the
code generator with given standards. Such compliance
never can guarantee correctness of the whole chain
through transformation down to the environment for
execution, though the belief is that certification implies
well-formed code at a reduced fault rate.
The approach presented here goes a direction different
from manual certification.. It is guided by the idea of
automated proof: each time code is generated from a
model the properties of the code when being executed in
its environment are compared with the properties
specified in the model. This allows to conclude on the
correctness of the whole chain for every application and
related generated code.
Permalink
Path Constraint Construction with Look-ahead
Date | 18 February 2008 - 22 February 2008 |
Event | GI-Software Engineering Conference 2008 |
Location | Munich, Germany |
A new approach for constructing path constraints in constraintbased test-data generation using results from analysis of control-flow graphs.
Permalink
Random Testing: From the Classical Approach to a Global View on Full Test Automation
Date | 6 Nov 2007 |
Event | Second International Workshop on Random Testing, RT'07 |
Location | Atlanta, Georgia, USA |
We present an approach of fully-automated software test, using application-independent criteria for fault identification.
Permalink
Model Transformation in Practice
Date | 29 May 2007 - 1 Jun 2007 |
Event | DASIA 2007 |
Location | Naples, Italy |
The intention of this paper is to highlight the benefits of
model exchange between different tools, methods and
notations on one side, and to identify issues of proper
modelling on the other side which have been detected
during model transformation and code generation from
models.
Permalink
Evaluation of Auto-Test Generation Strategies and Platforms
Date | 29 May 2007 - 1 Jun 2007 |
Event | DASIA 2007 |
Location | Naples, Italy |
As the test effort takes a significant part of the software
development lifecycle, efficient test strategies are a precondition
for reduction of development costs and time.
In this respect two main issues exist: firstly, the tuning
of the test track from test case identification to
evaluation, secondly, the reduction of number of test
cases to be processed and evaluated. Both aspects were
considered in the work presented in this paper.
Permalink
Integrierte Testkonzepte - Von der Theorie zur Praxis und zurück
Date | 27 Mar 2007 |
Event | GI-Software Engineering Conference 2007 |
Location | Hamburg, Germany |
Permalink
Schneller zum Ziel durch integrierte Testautomation
Date | 9 Nov 2006 |
Event | Imbus QS-Tag 2006 |
Location | Nuremberg, Germany |
Permalink
Improving Test Automation by Deterministic Methods in Statistical Testing
Date | 22 May 2006 - 25 May 2006 |
Event | DASIA 2006 |
Location | Berlin, Germany |
This paper was presented at the DASIA 2006 conference in Berlin, Germany.
It lays out principal approaches for tackling the "small target" and "oracle" problems in statistical automatic testing by applying deterministic methods for assistance.
Permalink
Organising Test Performance
Date | 10 Jun 2005 |
Event | 6. Workshop Performance Engineering in der Softwareentwicklung, PE 2005 |
Location | Berlin, Germany |
Permalink
Software Diversity by Automation
Date | 30 May 2005 - 2 Jun 2005 |
Event | DASIA 2005 |
Location | Edinburgh, Scotland |
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).
Permalink
Automated Software Production - Quo Vadis
Date | 30 May 2005 - 2 Jun 2005 |
Event | DASIA 2005 |
Location | Edinburgh, Scotland |
Permalink
Automation in the Software Lifecycle, Tailoring ECSS-E-40 for Automatic Code Generation
Date | 7 Feb 2005 - 8 Feb 2005 |
Event | ESA/BSSC Workshop on the Usage of ECSS Software Standards for Space Projects |
Location | Noordwijk, The Netherlands |
Permalink
Product Assurance and Automatic Code Generation - Tailoring ECSS-Q-80 for ACG
Date | 7 Feb 2005 - 8 Feb 2005 |
Event | ESA/BSSC Workshop on the Usage of ECSS Software Standards for Space Projects |
Location | Noordwijk, The Netherlands |
Permalink
Can We Provide Better Protection against Budget Overruns of Software Projects?
Date | 28 Jun 2004 - 1 Jul 2004 |
Event | DASIA 2004 |
Location | Nice, France |
This paper was presented at the DASIA 2004 conference in Nice, France.
The answer to this hypothetic question is "yes", of course. The paper will
approach the problem in two steps: firstly, we will discuss if and which
measures exist to identify an overrun early enough, secondly, we will analyse
the sources of overruns and which means may be applied not to exceed the
planned budget.
Permalink
Mehr Effizienz durch skalierbare und selbst-adaptierende Softwareentwicklungsprozesse
Date | 4 Nov 2003 - 5 Nov 2003 |
Event | 2. Raumfahrttechnologietage DLR |
Location | Bonn, Germany |
Permalink
Perspektiven der Softwareentwicklung - Probleme und Lösungen
Date | 9 Jul 2003 - 10 Jul 2003 |
Event | Raumfahrttechnologietage DLR |
Location | Bonn, Germany |
Permalink
Avoiding Malfunctions Due To Software Failures by Automation of Software Production and Test
Date | 6 Nov 2002 |
Event | Colloquium: Technology Exchange between Space and Automotive Industry |
Location | Darmstadt, Germany |
This is the presentation as given during the Colloquium: Technology Exchange between Space and Automotive Industry in Darmstadt, Germany (Nov 6th, 2002).
Permalink
Automatische Software Produktion-Was ist möglich?
Date | 15 Oct 2002 |
Event | MicroConsult Praxisforum "Embedded Quality - Neue Dimensionen der QualititÀtssicherung" |
Location | Munich, Germany |
This is the more practice-oriented presentation as given in
Munich (Oct 15, 2002).
If you would like to get an example file package as shown during the
presentation please contact us.
Permalink
Automatische Software Produktion-Was ist möglich?
Date | 10 Oct 2002 |
Event | MicroConsult Praxisforum "Embedded Quality - Neue Dimensionen der QualititÀtssicherung" |
Location | Zurich, Switzerland |
This is the strategy-oriented presentation as given during the MicroConsult Praxis Forum "Embedded Quality - Neue Dimension der QualitÀtssicherung" in Zurich (Oct 10th, 2002).
Permalink
Files
References
Links
Benchmarks on Automated System and Software Generation
Date | 13 May 2002 - 16 May 2002 |
Event | DASIA 2002 |
Location | Dublin, Ireland |
This paper was presented at the DASIA 2002 conference in Dublin, Ireland. It
shows results of benchmarks on projects carried out using ISG/ASaP.
Permalink
Files
Automated Software Production(ISG/ASaP)
The ISG/ASaP approach allows automated system generation from engineering
information and to immediately build an executable system from engineering
level.
This approach has already been successfully applied to provide the
infrastructure and major parts of the application software for the
Material Science Laboratory aboard the International Space Station(ISS).
Permalink
Files
Kosteneinsparung und QualitÀtsverbesserung durch Automation in der System- und Softwareentwicklung(German)
Date | 24 Oct 2001 |
Event | KooperationsForum Computer Hard- und Software |
Location | Berlin, Germany |
This paper describes the potential of ISG/ASaP for cost-savings and quality improvements.
Permalink
Files
Software Development of Embedded Systems by ISG - To Be Faster at Less Costs and Higher Quality
This paper describes the benefits of ISG/ASaP in the context of embedded systems.
Permalink
Files
ISG and Software Quality
The impact on the improvement of software quality by ISG/ASaP
is discussed by this paper.
Permalink
Files
Platform-Dependent (Cost) Impacts on Portability, Software Reuse and Maintenance
Date | 28 May 2001 - 1 June 2001 |
Event | DASIA 2001 |
Location | Nice, France |
This paper describes the challenges of maintaining software on different platforms.
Permalink
Files
Automation in der Softwareentwicklung - ausfürhbare Progrfamme ohne Programmierung mit ISG (Instantaneous System and Software Generation) erzeugen
Date | 28 Apr 2001 |
Event | Arbeitskreis Studenten und Jungingenieure, VDI |
Location | FH Sigmaringen-Albstadt, Albstadt, Germany |
The presentation covered application of automation in the area of software engineering and included a demo of generation of a distributed realtime system with 16 processes within ca. 40 minutes.
Permalink
Performance and Robustness Engineering: From A Conflict Towards Fair Coexistence
Date | 26 Apr 2001 |
Event | 2nd Workshop Performance Engineering in der Softwareentwicklung |
Location | UniversitÀt der Bundeswehr Munich, Germany |
This paper discusses the potential conflict between performance and robustness
issues of software development.
Permalink
Files
Be Faster on The Market at Less Costs by ISG
A comparison of the conventional and the ISG life-cycle and evaluation of cost savings by ISG.
Permalink
Files
ISG and Synchronous Systems
This presentation summarizes the results as obtained by ISG/ASaP in the course
of the ESPRIT project CRISYS (EP 25514). The goal was to evaluate the
robustness in presence of time-jitter and fault-injection for a critical
distributed control system.
Permalink
Files
Links
Instantaneous System and Software Generation: A brief introduction and survey
In this paper BSSE's motivation behind ISG/ASaP is presented and
its relevance to the Capability Maturity Model(CMM) defined by Carnegie-Mellon
Software Engineering Institute. It is shown that by use of
Automated Software Production the upper levels of CMM are reached immediately.
Permalink
Files
An Implementation and Verification Technique for Distributed Systems
Date | 19 Jun 2000 - 23 Jun 2000 |
Event | MOVEP2k: Modelling and Verification of Parallel Processes |
Location | Nantes, France |
Verification and validation of distributed systems as defined by the ISG-approach is
described in this paper.
Permalink
Files
Automated generation of real-time software from datasheet-based inputs: The process model, the platform and the feedback from the MSL project activities
Date | 22 May 2000 - 26 May 2000 |
Event | DASIA 2000 |
Location | Montreal, Canada |
This paper describes how ISG was used to built MSL software.
Permalink
Files
Software Development for the Material Science Laboratory on ISS by Automated Generation of Real-time Software from Datasheet-based Inputs
Date | 22 May 2000 - 26 May 2000 |
Event | DASIA 2000 |
Location | Montreal, Canada |
This paper was presented during the DASIA 2000 conference in Montreal, Canada by
Kayser-Threde.
It describes the organisation of the database from which MSL software was
automatically generated by ISG/ASaP.
Permalink
Files
Built-In Performance and Robustness Engineering Capabilities by a Formalised and Automated Software Development Process
Date | 17 May 2000 |
Event | 1st German Workshop on Performance Engineering (PE2000) |
Location | Darmstadt, Germany |
This paper was presented on the
1st German Workshop on Performance Engineering PE2000 at Darmstadt. It
discusses performance and robustness of software in context of ISG.
The revised version of this paper
"Performance and Robustness Engineering and the Role of Automated Software Development"
is under copyright of Springer Verlag and can be viewed as
LNCS #2047.
Permalink
Files
Links
Procurement of a SDL Model for Behavioural Validation of MSL
This is the final report of the ESA study on behavioural validation of MSL.
Permalink
Files
A Method for the Incremental Software Development and Validation of Complex Distributed Systems
Date | 29 Sep 1999 |
Event | INCOSE meeting |
Location | Bosch telecom, Backnang, Germany |
In the presentation application of incremental development and validation in the area of complex distributed systems was explained.
Permalink
Organizing Incremental, Reusable and Automated Software Development
Date | 17 May 1999 - 21 May 1999 |
Event | DASIA'99 |
Location | Lisbon, Portugal |
Description of an approach for incremental software development and
validation applying automated generation of an executable system
from a minimum of system engineering information.
Permalink
Files
Verification with SDL - Some Hints about How to reduce size of state space
This paper gives advice how to master state explosion.
Permalink
Files
Simulation of a System's Behaviour and its Physical Environment: How to master Tool Integration
Date | 3 Nov 1998 - 5 Nov 1998 |
Event | ESA'98 4th conference on simulators |
Location | ESTEC, Noordwijk, The Netherlands |
This paper was presented during the ESA'98 4th conference on simulators,
November 3th-5th 1998 in Noordwijk. It shows BSSE's experience with tool
integration.
Permalink
Files
Lessons learned by the use of (C)OTS
Date | 25 May 1998 - 28 May 1998 |
Event | DASIA'98 conference |
Location | Athens, Greece |
This paper was presented during the DASIA'98 conference, May 25th-28th 1998 in
Athens. It shows BSSE's experience with the use of
(Commercial-)Off-The-Shelf-Software based on a project dealing with the
integration of a number of (C)OTS packages and software developed from scratch.
Permalink
Files
EaSySim II SDL Extensions for Performance Simulation
Date | 17 Feb 1998 - 19 Feb 1998 |
Event | Workshop on Performance and Time in SDL and MSC |
Location | University of Erlangen, Germany |
This paper was presented during the workshop on Performance and Time in SDL and
MSC, at the University of Erlangen, February 17th - 19th 1998.
Permalink
Files
Links
Accuracy of Simulation
Date | 17 Feb 1998 - 19 Feb 1998 |
Event | Workshop on Performance and Time in SDL and MSC |
Location | University of Erlangen, Germany |
This paper was presented during the workshop on Performance and Time in SDL and
MSC, at the University of Erlangen, February 17th - 19th 1998.
Permalink
Files
Links
EaSySim II: Software System Validation Using Executable Models
Permalink
Files
References
Links
Early System Validation: With Executable Models through the Life Cycle
This paper was published by ESANEWS, December 1997.
Permalink
References
Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues
Date | 23 Sep 1997 - 26 Sep 1997 |
Event | SDL'97 Forum |
Location | Evry, France |
Permalink
Files
References
Links
Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues
Date | 23 Sep 1997 - 26 Sep 1997 |
Event | SDL'97 conference |
Location | Evry, France |
This paper was published by
Elsevier Science Publishers B.V., ISBN: 0-444-82816-8
Permalink
Files
References
Experience with Validation by Simulation, Automated Code Generation and Integration
Date | 26 May 1997 - 29 May 1997 |
Event | DASIA'97 |
Location | Sevilla, Spain |
The presentation included an online demonstration on a Sparc Workstation and a PC laptop.
Permalink
Files
With Executable Models through the Life Cycle
Date | 16 Apr 1997 - 18Apr 1997 |
Event | FEmSys'97 Workshop on Formal Design of Safety Critical Embedded Systems |
Location | Munich, Germany |
The presentation included a tool demonstration.
Permalink
Improving Computer-Aided Management of Social Processes by Techniques Applied to Safety-Critical Systems
Date | 11 Sep 1996 - 13 Sep 1996 |
Event | CSR 13th Annual Workshop "Design for Protecting the User" |
Location | BÃŒrgenstock near Luzern, Switzerland |
Permalink
GIFTBox: A Guide to master Distributed, Heterogeneous Systems
Describes a generic architecture and decomposition scheme.
Permalink
Files
From CASE to CIVE: A Future Challenge!
Date | 20 May 1996 - 23 May 1996 |
Event | DASIA'96 |
Location | Rome, Italy |
This paper was presented during the DASIA'96 conference, May 20th - 23th 1996
in Rome.
Permalink
Files
Formal Methods for the Validation of Autonomous Spacecraft Fault Tolerance
Permalink
Use of an extended SDL Environment for Specification and Design of On-Board Operations
Date | 28 Nov 1995 - 30 Nov 1995 |
Event | Systems Engineering Workshop |
Location | ESTEC, Noordwijk, The Netherlands |
This paper was presented during the Systems Engineering Workshop,
November 28th - 30th 1995 at ESTEC, Noordwijk.
Permalink
Files
Links
An alternative Lifecycle based on Problem-Oriented Strategies
Date | 13 Nov 1995 - 15 Nov 1995 |
Event | International Symposium on On-Board Real-Time Software |
Location | ESTEC, Noordwijk, The Netherlands |
This paper was presented during the International Symposium on
On-Board Real-Time Software, November 13th - 15th 1995 at ESTEC, Noordwijk.
Permalink
Files
Distributed and Parallel Systems and HOOD4
Date | 02 Oct 1995 - 06 Oct 1995 |
Event | Ada in Europe'95 conference |
Location | Frankfurt/Main, Germany |
This paper was presented during the Ada in Europe'95 conference
October 02nd - 06th 1995 in Frankfurt/Main.
Permalink
Files
A Strategy for Development of High Quality Embedded Systems
Date | 19 Sep 1995 |
Event | CASE Anwendertag |
Location | DLR, Göttlingen, Germany |
This paper was presented during the "CASE Anwendertag",
September 19th 1995 at the DLR in Göttlingen.
Permalink
Files
EaSyVaDe: Early Validation of System Design by Behavioural Simulation
Date | 15 Nov 1994 - 19 Nov 1994 |
Event | 3rd ESTEC Workshop on Simulators for European Space Programmes |
Location | ESTEC, Noordwijk, The Netherlands |
This paper was presented during the 3rd ESTEC Workshop on
Simulators for European Space Programmes, November 15th - 17th 1994 at
ESTEC, Noordwijk.
Permalink
Files
Links
Tuning Ada Programs in Advance
Date | 26 Sep 1994 - 30 Sep 1994 |
Event | Eurospace Symposium "Ada in Europe" |
Location | Copenhagen, Denmark |
Permalink
A Cost Estimation Model for Maintenance and High Reuse
Date | 11 May 1994 - 13 May 1994 |
Event | European Cost Modelling Conference |
Location | Ivrea near Torino, Italy |
Permalink
Early Validation of a DMS (Data Management System) Design by a Reusable Simulation Environment
Date | 25 Jan 1994 - 27 Jan 1994 |
Event | Eurospace On-Board Data Management Symposium on "Technology and Applications for Space Data Management System" |
Location | Rome, Italy |
Permalink
A Random-Testing Environment for Ada Programs
Date | Nov 1993 |
Event | Eurospace Symposium "Ada in Aerospace" |
Permalink
Dynamische Konfiguration mit Ada
Date | 1 Apr 1993 |
Event | Ada Deutschland |
Location | Stuttgart, Germany |
Permalink
Requirementsanalyse: Entscheidend fÌr den spÀteren Erfolg
Permalink
Deterministic Scheduling with Ada: Simulation of a Tasking Approach
Date | 9 Nov 1992 - 13 Nov 1992 |
Event | Eurospace Symposium "Ada in Aerospace" |
Location | Vienna, Austria |
Permalink
Dynamic Configuration with Ada
Date | 24 Feb 1992 - 27 Feb 1992 |
Event | 10th Annual National Conference on Ada Technology |
Location | Washington, USA |
Permalink
An Object-Oriented Approach to Real-Time Processing
Date | Nov 1991 |
Event | Eurospace Symposium "Ada in Aerospace" |
Location | Rome, Italy |
Permalink
Requirementsanalyse mit ASA in Raumfahrtprojekten
Date | Aug 1991 |
Event | VDEB-Anwenderforum "Software Engineering" |
Location | Cologne, Germany |
Permalink
Run-Time Linking and On-Line Mode Management with Ada
Date | May 1991 |
Event | ESA 1st Conference on Spacecraft Guidance, Navigation and Control |
The presentation included a demo on the PC platform.
Permalink
Anwenderbericht ASA (user report)
Date | Feb 1991 |
Event | Berufskolleg Esslingen |
Location | Esslingen, Germany |
Permalink
On-Line Replacement and Reconfiguration of Ada Real-Time Software
Date | Dec 1990 |
Event | Eurospace Symposium Ada in Aerospace |
Location | Barcelona, Spain |
The presentation included a demo on the PC platform.
Permalink
On Experience in Modelling of System's Operational Behaviour
Date | Oct 1990 |
Event | CNES Software Management Symposium |
Permalink
Improvements Needed for Software Development in the Large
Date | Oct 1990 |
Event | CNES Software Management Symposium |
Permalink
Object-Oriented Methods and Software Life cycle
Date | Oct 1990 |
Event | Eurospace Ada Working Group |
Location | Paris, France |
Permalink
Mixing Ada and C Language
Date | Dec 1989 |
Event | Eurospace Ada Working Group |
Location | Paris, France |
Permalink
A Concept for Future AOCS/GNC Software
Date | 11 Oct 1989 - 13 Oct 1989 |
Event | ESA Workshop on Advanced Technologies for Spacecraft Attitude Control, Guidance and Navigation |
Permalink
A Software Design Philosophy for COLUMBUS
Date | 30 Nov 1988 - 2 Dec 1988 |
Event | International Symposium on Space Software Engineering: COLUMBUS and Space Infrastructures |
Location | Turin, Italy |
Permalink
Aspects for a Fault-Tolerant Concept for On-Board Software
Date | 30 Nov 1988 - 2 Dec 1988 |
Event | International Symposium on Space Software Engineering: COLUMBUS and Space Infrastructures |
Location | Turin, Italy |
Permalink
Supporting the Transition from C to Ada
Date | 14 May 1986 - 15 May 1986 |
Event | ESA Workshop on the Management and Engineering of Ada Software within European Space Projects |
Location | ESTEC, Noordwijk, The Netherlands |
Permalink
Ein Kommunikations-Prozessor und -System hoher FlexibilitÀt fÌr komplexe Datenbank-Anforderungen
Data base concept for real-time access of databases in continuos operation under fail-operational conditions.
Permalink
Zeitbedarf fÃŒr Rechenoperationen mit dem Mikroprozessor 6502
Time consumption of typical mathematical functions and operations on 6502
Permalink
Ein schnelles Interpolationsverfahren fÃŒr die rechnergestÃŒtzte Werkzeugmaschinensteuerung
Fast algorithms for stable, recursive computation of sin, cos, exp, sinh, cosh for 8bit-processors, CNC application)
Permalink