Some systems engineering is done in continuous international competition. For example telecommunications products. For example military systems. The problem is not merely to get it done well on time, but to visibly beat the competition in quality and price while also beating them on time to market. There are specific engineering methods and processes that emphasize the ability to 'beat the enemy'. This tutorial will highlight the specific methods we can offer to aid the competitive engineering process. The methods are innovative and the key idea is the ability to quantify all critical qualitative aspects of a system, not just the conventional ones.
1. Planguage: a quantified planning language.
Ensuring reliability of software has always been,
and will continue to be, one of the most challenging problems in Software
development. Throughout the last decades several techniques and their
associated tools were developed to provide Verification of correctness for
the expected behaviour of a system. The underlying idea is that by studying
the possible behaviours of a system at the early stages of its development
Model checking is one of the most successful applications of formal methods to verification of software in Businesses and Industry-related systems. Theorem proving is another strategy available and different from model checking in many aspects. Both have been used effectively in many important applications.
This tutorial will start providing the basic concepts underlying both major techniques, Model Checking and Theorem Proving as applied to Verification. Then a model Checker, SPIN, and a Theorem Prover, STeP, will be presented. The examples provided will illustrate their potential but also will unveil their limitations. As a result, the audience will gain a basic understanding about the benefits, areas of application and differences between both verification strategies.
This tutorial provides the context necessary to understand: Component based development and Web Services based Application Assembly and the relationships between these two approaches. The importance of this tutorial is three-fold:
Having attended this tutorial, the attendee will be better able to understand the key technology advances in software development as they affect Web Services, and hence be in a better position to take advantage of them in their work setting.
Copyright © INSTICC
Copyright © INSTICC