Program: November 2, 2004

	November 2 - Workshop and Tutorials Day in Rennes
	Workshops				Tutorials
9:00am - Noon	Modeva	~~WOSA~~ CANCELLED	IWoTA (RTF)	WITUL	John Musa: "More Reliable Software Faster and Cheaper"	H.L. Hausen: "Quality Specification, Measurement, and Assessment for Acceptance Testing and Certification"
Noon - 2:00pm	Lunch
2:00 - 5:00	Modeva	~~WOSA~~ CANCELLED	IWoTA (RTF)	WITUL	Jen Grabowski, Dr. Andreas Ulrich: "An Introduction to the Test Design and Execution Language TTCN-3"	Jan Jürjens: "Model-driven engineering of dependable critical systems with UML"
5:00 - 6:30	Bus shuttle from Rennes to Saint-Malo hotels registration
6:30 - 9:30	Welcome cocktail at the Palais du Grand Large

More Reliable Software Faster and Cheaper

John Musa, Consultant

Stressed out by competitive pressures to deliver more reliable software faster and cheaper? Software reliability engineering (SRE) can help. This unique tutorial will teach you the essentials of how to apply this standard, proven best practice to the next release of ANY system / component that uses software. It is an excellent introduction to SRE, providing background that will help you understand the rest of the conference.

The tutorial can help software testers, quality assurance engineers, systems engineers or architects, project managers, software developers, and reliability engineers, or students in these areas.

SRE is a standard, proven best practice. You can apply it to any system using software and to members of software component libraries. And you can start with the next release.

You will learn how to:

Develop operational profiles and apply them to greatly increase development and test efficiency.
Determine the reliability your customers need for your product and engineer your process to deliver it.
Process failure data to track reliability growth, certify systems, and guide their release.

The tutorial breaks down the practice of Software Reliability Engineering (SRE) into six major activities. The procedure for each of these steps is presented step by step, with a real example given for each step. The example is a simple, unified one; the participant thus sees how one real project is approached throughout. Participants are strongly encouraged to relate the course material to their experience and to ask questions at any time. The interaction within the class and class contributions from a wide variety of projects and project environments can contribute to the participant's experience.

The continually updated material has been perfected through interaction with thousands of participants worldwide.

No prerequisite is required.

If you would like more details of the material in this tutorial, visit http://members.aol.com/JohnDMusa/ and navigate to the overview. The site has lots of other relevant material on SRE as well.

John D. Musa, one of the creators of the field of SRE, is widely recognized as the leader in reducing it to practice. He currently teaches a 2 day course and consults worldwide to help a wide variety of organizations to deploy SRE practice. An IEEE Fellow, his leadership has been recognized by every edition of Who's Who in America since 1990. The IEEE Reliability Society named him "Engineer of the Year" in 2004. He is an experienced international speaker and teacher (over 200 major presentations) with consistently outstanding feedback. He is principal author of the widely-acclaimed pioneering book Software Reliability and author of the practically-oriented Software Reliability Engineering, and has published more than 100 papers. He has more than 30 years diversified practical experience as software practitioner and manager.

Although the tutorial will be presented in English, Musa speaks fluent French and can answer questions or discuss issues offline in French for those who wish it.

Participant feedback for this tutorial has consistently been outstanding. Some sample quotes:

"One of the best tutorials I have attended"
"Ideas I could immediately use on my job"
"Simple, clear, very easy to understand"
"Highly credible, very knowledgeable and competent speaker"
"Great mix of anecdotes with material, good sense of humor, tutorial was fun!"
"I never felt embarrassed about what I didn't know"
"Excellent audience interaction, speaker very approachable"

Quality Specification, Measurement and Assesssment for Acceptance Testing: Objectives, Characteristics, Methods, Tools, Products, Processes

Hans-Ludwig Hausen, Fraunhofer

The seminar will cover the principles and the normative quality characteristics as well as the standardized procedures of information quality assurance resp. software system quality assurance (comprising V&V, test, measurement and assessment) for procedural, object-oriented and agent-based dependable software systems. Attendees will exercise proven techniques for goal-directed measurement, scaling and assessment for software certification. Assessment of both the software product as well as the software process will be discussed with respect to its relevance for such acceptance assessments.

A standardized process model for measurement, assessment and certification of dependable software will be used to make the attendees familiar with this comprehensive assessment procedure and to learn how to embed it into today's standardized or non-standardized software processes.

Basic knowledge in mathematics and some knowledge of software methods and tools is required. Emphasis will be given to selected advanced topics depending on the needs of participants.

Hans-Ludwig Hausen is a Principal Scientist (Senior Researcher, Project Manager) in FARUNHOFER German National Engineering Research Society, D-53757 St Augustin, Germany.

He has more than 25 years as senior project manager, senior consultant, advisor, principal scientist and lecturer on:

computer aided software engineering
software quality assurance
software process modeling and tailoring
more than two dozen large software engineering projects for governments and industry.

Publications: (co-) author of more than 113 reviewed papers and 3 books on:

software engineering environments
software quality and productivity
information storage and retrieval

An Introduction to the Test Design and Execution Language TTCN-3

Prof. Dr. Jens Grabowski (Georg-August University of Göttingen), Dr. Andreas Ulrich (Siemens AG)

The tutorial introduces to the test design and execution language Testing and Test Control Notation TTCN-3 and its application in an industrial project. TTCN-3 is the only standardized language that features direct language support for black-box testing of reactive, distributed real-time systems. It has been standardized by the European Telecommunications Standards Institute (ETSI), also known for its GSM and UMTS standards, since 1999 and is supported by a number of independent tool providers. The TTCN-3 standard comes with a programming language-like textual core language, a graphical and tabular presentation format, and a standardized description of test interfaces to execute TTCN-3 test cases in a distributed environment.

The goals of the tutorial are:

to introduce people inside and outside the telco domain to the beneficial concepts of black-box testing using TTCN-3,
to provide an overall view of the TTCN-3 language design principles,
to introduce to the concepts of the TTCN-3 language,
to give guidelines for the management of TTCN-3 test projects, and
to exemplify the application of TTCN-3 to testing of the ECMA standard for Computer-Supported Telephony Applications (CSTA).

In addition, the tutorial provides an outlook to the next edition of TTCN-3 and describes the relationship between TTCN-3 and the newly standardized UML 2.0 Testing Profile.

More information on TTCN-3 can be found at http://www.ttcn-3.org/.

Jens Grabowski: received a PhD in computer science form the University of Berne, Switzerland in 1994. He was researcher and lecturer at the University of Lübeck, Germany, from 1995 to 2003. Jens Grabowski is currently Professor for practical computer science at the University of Göttingen, Germany, where he heads a research group on software engineering for distributed systems. His research interests in the area of testing are model-based testing, test specification languages and test generation. Jens Grabowski is member of the experts groups that develop the UML Testing Profile and TTCN-3.

Andreas Ulrich: received a PhD in computer science from Magdeburg University, Germany in 1998. He then joined Siemens' Corporate Technology Division, Department for Software & Engineering, in Munich, Germany where he works as a Principal Engineer. His main task is to provide consultancy services to Siemens' business divisions in the area of software testing and quality assurance. Andreas is also active in the research area of test automation, model-based testing, and system analysis using formal methods and joined the ETSI experts group on TTCN-3 development and maintenance.

Model-Driven Engineering of Dependable Critical Systems with UML

Jan Jürjens, Software System Engineering, TU Munich

The high quality development of dependable critical systems (which may in- clude security-critical, safety-critical, real-time, or performance-critical systems) is difficult. Many critical systems are developed, deployed, and used that do not satisfy their criticality requirements, sometimes with spectacular failures.

Systems whose correct functioning human life and substantial commercial assets depend on need to be developed very carefully. Systems that have to operate under the possibility of system failure or external attack need to be scrutinized to exclude possible weaknesses.

Part of the difficulty of critical systems development is that correctness is often in conflict with cost. Where thorough methods of system design pose high cost through personnel training and use, they are all too often avoided.

UML offers an unprecedented opportunity for high-quality critical systems development that is feasible in an industrial context.

As the de-facto standard in industrial modeling, a large number of developers is trained in UML.
Compared to previous notations with a user community of comparable size, UML is relatively precisely defined.
A number of analysis, testing, simulation, transformation and other tools are developed to assist the every-day work using UML.

However, there are some challenges one has to overcome to exploit this opportunity, which include the following:

Adaptation of UML to critical system application domains.
Correct use of UML in the application domains.
Conflict between flexibility and unambiguity in the meaning of a notation.
Improving tool-support for critical systems development with UML.

The tutorial aims to give background knowledge on using UML for critical systems development and to contribute to overcoming these challenges.

It includes an interactive tool demo with advanced tool support for UML.

Outline:

The tutorial presents the current academic research and industrial best practice by addressing the following seven main subtopics:

UML basics, including extension mechanisms
Applications of UML to dependable systems, in particular

safety-critical systems
security-critical systems
real-time systems
performance-critical systems

Extensions of UML (UML-RT, UMLsec, UMLsafe, . . . )
Using UML as a formal design technique for the development of critical systems.
Critical systems development methods.
Modeling, synthesis, code generation, testing, validation, and verification of critical systems using UML, in particular: Using the standard model interchange formats (XMI) for tool integration and to connect to validation engines. Existing tools.
Case studies.
Interactive tool demo.

As an example application domain, we focus on safety- and security- critical systems. We also show how to generalize the approach to the other application domains mentioned above.

Prospective participants are invited to suggest specific topics to be explained at the tutorial by contacting the presenter at http://www4.in.tum.de/~juerjens.

Jan Jürjens leads the Competence Center for IT-Security at the Software & Systems Engineering chair at TU Munich (Germany). He is the author of a book on Secure Systems Development with UML (Springer-Verlag, 2004) and about 30 papers in international refereed books, journals, and conferences, mostly on computer security and safety and software engineering, and has given several invited talks at international conferences. He has created and lectured a course on secure systems development at the University of Oxford, several invited summer school courses and about 30 tutorials at international conferences. He is the initiator and current chair of the working group on Formal Methods and Software Engineering for Safety and Security (FoMSESS) within the German Society for Informatics (GI). He is a member of the executive board of the Division of Safety and Security (Fachbereich Sicherheit) within the GI, the executive boad of the committee on Modeling (QFA Modellierung) of the GI, the advisory board of the Bavarian Competence Center for Safety and Security (KoSiB), the working group on e-Security of the Bavarian regional government, and the IFIP Working Group 1.7 "Theoretical Foundations of Security Analysis and Design". He has been leading various security-related projects with industry and has acted as a reviewer for EU research projects.

Received awards include a scholarship from the German National Merit Foundation and a best student paper award. He has studied Mathematics and Computer Science at the Univ. of Bremen (Germany) and the Univ. of Cambridge (GB) and received a M.Sc. degree from the Univ. of Bremen. He has done research towards a PhD at the Univ. of Edinburgh (GB), Bell Laboratories (Palo Alto, USA), and the Univ. of Oxford (GB) and received a DPhil (Doctor of Philosophy) in Computing from the Univ. of Oxford.