Safer C: Minimising failures and maximising productivity in 2017

Transkript

1 Seminare & Workshops 2017 Wissen für bessere Software Safer C: Minimising failures and maximising productivity in / Schwieberdinger Str Stuttgart Tel Fax

2 Das sagen die Teilnehmer Great seminar, it should be broadcasted to a larger set of engineers and I am sure that the products around us would be much safer and more reliable. V. Pitigoi, TTTech Computertechnik AG Very experienced trainer, he absolutely knows what he speaks about. Al so very friendly and open for questions :-). W. Gauch, BorgWarner Ludwigsburg GmbH Even though I have been using C for more than 20 years I have learned a lot of unexpected/new/non-obvious things about the C programming language. L. Erdmann, Airbus Defence and Space GmbH Sehr guter Einstieg in die Problematik. A. Bauer, Knorr-Bremse SfS GmbH Es wird viel Wissen vermittelt. H. Scherer, Robert Bosch GmbH

3 Referent Prof. Dr. Les Hatton Termin 10./11. Oktober 2017 Hotel Steigenberger Graf Zeppelin, Stuttgart Uhrzeit Dauer Teilnahmegebühr Frühbucherpreis 9:00 Uhr 17:00 Uhr 2-tägig, englisch 1.700,- e (zzgl. MwSt.) 1.560,- e (zzgl. MwSt.) bei Anmeldung bis For engineers or engineering management in any high-integrity, business-critical or safety-critical area employing C. Number of delegates trained >6000 in 13 countries. Course Overview In an IEEE Transactions paper published in April 2014, an analysis of 100 million lines of open source downloaded at random revealed that 85% was written in C, 7% in Java, 3% in C++, 2% in Ada and the remaining languages measured, just 3% between them. Given that C strongly influenced both Java and C++, particularly in their failure modes, it is of real importance in practical engineering to understand how C works and more importantly how it fails, particularly with the enormous cost of failure, for example, in recent automotive recalls. In view of the prominence of C in consumer electronic system development of all types today, this course presents a practical development philosophy based around the notion of safer subsets of C. Copious data is presented showing how real C systems fail, followed by detailed strategies to avoid these failures both at the language and the process level. You should attend this course if: You would like to improve your knowledge of how C works and fails in real systems You would like a more rounded background in failure avoidance and its beneficial effects on productivity You develop consumer electronic systems Course Prerequisites Some C programming experience is highly desirable, although a num ber of people have taken the course with very little such experience. Course Synopsis This 2-day course is about a safer and more reliable way of using the language C. It is based on extensive measurements of how C systems fail and the lessons we can learn from these failures. It is particularly relevant to the production of modern embedded systems for consumer electronics and provides a comprehensive introduction to the development of modern high-integrity, business-critical and safetycritical developments. It is suitable for both inexperienced and experienced C programmers and forms a sound, rigorous basis for such development. The course is copiously illustrated with data from real systems containing many surprises and important clues how to make software more reliable. Workshops, self-assessments and intriguing problems are included. A considerable amount of background reading can be freely downloaded from: Day 1 and first half of Day 2 Introduction to how systems fail with many important examples and a summary of lessons to learn. Standardisation and evolution of the C language and relationship to C++, Java, Javascript, perl, php and others. Cataloguing poorly-defined behaviour. Various sources of information about C failure are referenced and used to provide a comprehensive understanding of how C and C-like systems fail in practice to assist in future avoidance of failure. Safer subsets including the MISRA standard are discussed in some detail. Key areas of difficulty (with many examples and strategically placed workshops) The pre-processor Conversion Interfaces Pointers Expressions and types Memory The library Many workshops incorporating code from real systems to illustrate the problems and their avoidance. Second half of Day 2 The wider picture: Systems engineering concepts In building reliable systems, the programming language is only part of the puzzle. In this section, attention is focussed on development techniques and systems engineering concepts such as control process feedback and its role in improving reliability. In particular, a section on inspections, one of the most successful methods for detecting defect ever discovered, occupies a substantial part of the afternoon. The following topics are covered: Code inspections This section describes the basics of inspections and includes an inspection workshop to teach fundamental principles. Static complexity measures and testability Analysis of the Toyota recall due to unintended acceleration, features measures of testability amongst other things. This section explains these and enhances them based on the author's own research in the last 20 years. Macroscopic system properties Large systems have properties independent of what they do or the technology used to build them. This includes the distribution of defect. This short section shows how this information can be exploited.

4 10./ ,- (zzgl. MwSt.) Frühbucherpreis bei Anmeldung bis ,- (zzgl. MwSt.) Fax Anmeldung Kontaktdaten des Teilnehmers Firma Name, Vorname Abteilung Straße PLZ/Ort Tel. / Fax (bitte angeben) Rechnungsanschrift (falls abweichend) Firma Name, Vorname Abteilung Straße PLZ/Ort Bestellnummer (falls vorhanden) Hotelreservierung: Wir haben Zimmerkontingente in verschiede nen Hotels zum Abruf für die Teilnehmer eingerichtet. Bei Interesse senden wir Ihnen in der Bestätigungs gerne eine Übersicht mit allen Details dieser Abrufkontingente zu. Sollte dies erwünscht sein, bitte hier ankreuzen: Hotelinformationen erwünscht Datum/rechtsgültige Unterschrift

5 AGB für Seminare Anmeldebestätigung Nach Anmeldung erhalten Sie vorab eine Eingangsbestätigung Ihrer Anmeldung per . Die offizielle Anmeldebestätigung mit Rechnung erhalten Sie rechtzeitig vor Seminarbeginn per Post. Ort und Veranstaltungsdauer Ort und Dauer der Veranstaltung erfahren Sie in den einzelnen Seminarbeschreibungen. Preise/Zahlungskonditionen Die Rechnungsstellung erfolgt vor Seminarbeginn. Die Rechnung ist nach Erhalt ohne jeden Abzug sofort, jedenfalls vor Seminarbeginn, fällig. Alle Preise verstehen sich zuzüglich der gesetzlichen Mehrwertsteuer. Im Übrigen gelten die gesetzlichen Bestimmungen des allgemeinen Zahlungsverkehrs. In den Seminargebühren sind die begleitenden Seminarunterlagen, Getränke sowie das Mittagessen enthalten. Stornierung durch Teilnehmer bis 12 Wochen vor Veranstaltung kostenlos bei 12 4 Wochen vor Veranstaltung berechnen wir 20 % der Teilnahme gebühr ab 4 Wochen vor Veranstaltung berechnen wir die volle Teilnahmegebühr Stornierung durch Veranstalter Wir bitten um Verständnis, dass wir uns Absagen aus organisatorischen Gründen vorbehalten. Durch die Bestätigung der Anmeldung entsteht kein Rechtsanspruch auf die Durchführung des Seminars. QA Systems kann bei nicht erreichter Mindestteilnehmerzahl oder bei Hindernissen, die außerhalb des Einflusses liegen, Seminarveranstaltungen absagen. In Ausnahmefällen (z. B. Krankheit des Referenten oder höhere Gewalt) kann die Absage auch kurzfristig erfolgen. Wir bemühen uns in diesen Fällen unverzüglich um einen Ersatztermin. Bei einer Absage durch QA Systems werden bereits bezahlte Seminargebühren voll zurückerstattet. Darüber hinausgehende Rechtsansprüche, insbesondere die Er stattung der Kosten aus Arbeitsausfall, Reise- oder Hotelkosten etc. bestehen nicht. Hotelreservierung QA Systems reserviert im jeweiligen Seminarhotel in der Regel zu Sonder konditionen eine begrenzte Zimmeranzahl als Abrufkontingent. Die Reservierung sowie die Abrechnung der Zimmer sind von Ihnen direkt mit dem Hotel abzuwickeln. Der Austausch durch andere Personen ist jederzeit möglich! Schwieberdinger Str Stuttgart seminare@qa-systems.de Tel Fax