Atego und KnowGravity: KnowFuture 2012 - Wir zeigen, woher Innovation kommt!
Event Angaben
Wie kann sichergestellt werden, dass die richtigen Anforderungen richtig spezifiziert sind? Am diesjährigen KnowFuture Event möchten wir Ihnen eine mögliche Antwort auf diese Frage aufzeigen: Ausführbare Spezifikationen sind ein hervorragendes Mittel für das Requirements Engineering – komplexe funktionale Anforderungen lassen sich präzise formulieren, anschaulich klären und frühzeitig testen. Wir möchten Ihnen die Grundlagen ausführbarer Spezifikationen, aber auch praktische Erfahrungen aus Projekten der Schweizerischen Bundesbahnen SBB sowie der Schweizer Börse näher bringen.
Programm
- 14:00 – 14:05 Begrüssung durch KnowGravity Inc.
- 14:05 – 14:50 Allan Kennedy: The "X" marks the spot – How to uncover the real value in executable specifications (in Englisch)
- 14:50 – 15:30 Markus Schacher: Ausführbare Spezifikation eines sicherheitsrelevanten Standards der SBB
- 15:30 – 15:50 Pause
- 15:50 – 16:30 Crispin Bayley: Introducing xUML for the clearing & settlement specification at SIX Swiss Exchange (in Englisch)
- 16:30 – 17:00 Andreas Korff: Verifikation sicherheitskritischer Systeme mit SysMLgetriebener Simulation
- 17:00 – 19:00 Apéro
Vorträge und Präsentatoren:
The "X" marks the spot – How to uncover the real value in executable specifications
Allan Kennedy - executable UML pioneer
In the nearly twenty years since he launched his first executable modelling tool (I-OOA), Allan has seen both successes and failures in the application of executable modelling to challenging problems. In this talk he reviews what he has learned about fundamental principles and tricks of the trade that will ensure that executable specifications are fit for purpose and deliver lasting value.
Ausführbare Spezifikation eines sicherheitsrelevanten Standards der SBB
Markus Schacher - KnowGravity Inc.
Im Rahmen des Projekts "SwISS" wurden im Auftrag der SBB und in Zusammenarbeit mit Siemens und Thales die Schnittstellen von Stellwerken verschiedener Hersteller standardisiert. Da bei solchen sicherheitsrelevanten Systemen besonderer Wert auf die Korrektheit dieser funktionalen Spezifikation gelegt wird, wurde unter Verwendung der executable UML (xUML) ein ausführbares Modell dieser Spezifikation entwickelt. Parallel dazu haben wir auf der Basis des UML Testing Profile (UTP) ein Modell von Testfällen erarbeitet, um die Korrektheit der Spezifikation zu verifizieren. Die Ausführbarkeit beider Modelle erlaubte es uns, die sich kontinuierlich entwickelnde funktionale Spezifikation permanent mittels Regressionstests auf fehlerhafte Erweiterungen zu überprüfen.
Introducing xUML for the clearing & settlement specification at SIX Swiss Exchange
Crispin Bayley - Swiss Stock Exchange
In 1995 the Swiss Stock Exchange became the first in the world to incorporate a fully auto-mated trading, clearing and settlement system. In the intervening years the original trading platform has been upgraded, but only now is the component for instructing trades being replaced. Given the complicated nature of the functionality it contains, it was required that the specification for the replacement system should be testable, in order to guarantee correctness early on in the development phase and this lead to the functional model being created in xUML.
Verifikation sicherheitskritischer Systeme mit SysML-getriebener Simulation
Andreas Korff - Atego
Die Modellierung ist für sich ein wichtiger Schritt in Richtung effizienter Entwicklung komplexer sicherheitskritischer Systeme. Die SysML bietet dazu einen umfassenden Fundus von Sichten und Darstellungsmöglichkeiten. Nur, welche Möglichkeiten gibt es, das Modell auf Richtigkeit und vollständiger Umsetzung der Anforderungen zu prüfen? In diesem Beitrag spannen wir den Bogen der Validierung und Verifikation von der Nachverfolgbarkeit der Anforderungen, statischer Modellanalyse, Zielkonfliktanalyse bis zur SysML-basierten Verhaltenssimulation.
Links zum Thema
Hotel Marriott Zürich, Neumühlequai 42, 8001 Zürich
Wind River Embedded Konferenz
Event Angaben
Es erwartet Sie ein Tag voller Gespräche, Diskussionen, Beispiele aus der Praxis und Lösungsansätze für die aktuellen Herausforderungen der Gerätehersteller in den Märkten Industrietechnik, Medizintechnik, Automobilelektronik und Luft-und Raumfahrt.
Die Themen der diesjährigen Veranstaltung drehen sich um die Herausforderungen, die durch zunehmende Ansprüche an die Nutzerfreundlichkeit auf der einen und Sicherheit auf der anderen Seite gemeistert werden müssen. Dabei das Risiko zu minimieren und die Effizienz zu steigern stellt einen schwierigen Balanceakt dar.
Sprecher aus führenden Unternehmen, Experten aus den Bereichen Forschung und Wissenschaft sowie Organisationen mit den Schwerpunkten Standards und Normen werden über Ihre Erfahrungen berichten und Ihnen Rede und Antwort stehen.
Im begleitenden Technologie-Pavillion werden Ihnen 20 Hardware- und Software-Unternehmen den ganzen Tag über die Möglichkeit bieten, sich detailliert über bereits verfügbare Produkte und Lösungen auszutauschen.
Im Anschluss an die Veranstaltung haben Sie bei Fingerfood und einem kühlen Bier die Gelegenheit, Gespräche fortzusetzen und weitere Ansprechpartner kennenzulernen.
Werfen Sie einen Blick ins Programm! Die Veranstaltung ist kostenlos, aber die verfügbaren Plätze sind limitiert. Melden Sie sich gleich an!
Wer sich diese Konferenz nicht entgehen lassen sollte:
- Projektleiter, Abteilungs- und Bereichsleiter, Geschäftsführer, Produktmanager, Einkäufer, Qualitätsmanager
- Alle Embedded Entscheider, die sich mit den Themen Innovation, Kostensenkung, Risikominimierung und Marktreife beschäftigen
- Interessierte, die sich in der begleitenden Ausstellung über konkrete Produkte, Trends und Dienstleistungen informieren möchten
Links zum Thema
Stuttgart, Mövenpick Airport Hotel
ESE Kongress 2011
Event Angaben
Embedded Software Engineering gehört zu den großen Herausforderungen der modernen Elektronikentwicklung. Nur mit einer planvollen, ingenieurmäßigen Herangehensweise und modernen Methoden der Informatik und Elektronikentwicklung lassen sich die durch Komplexitat sowie Zeit- und Kostendruck steigenden Anforderungen künftig beherrschen.
Zahlreiche Fachvorträge und Kompaktseminare aus Entwicklung, Forschung, Lehre und Management bieten reichlich Stoff für neue Ideen, Lösungswege und angeregte Diskussionen.
Visit Der ESE Kongress im Überblick
Links zum Thema
Automotive – Safety & Security 2010
Event Angaben
Die Veranstaltungsplattform Open Forum bringt mit der „Automotive Safety & Security 2010“ und den „International SPICE Days 2010“ zwei herausragende Events zum Thema Automobilsoftware am 22. und 23. Juni in Stuttgart zusammen. Gemeinsam decken beide Tagungen das gesamte Spektrum der softwarebasierten Bereiche im Automobil ab. Über zwei Tage werden die teilnehmenden Experten die neuesten Ideen und konkrete Lösungen für die drängenden Herausforderungen der Softwareentwicklung mit Schwerpunkt auf Prozessqualität sowie Sicherheit und Zuverlässigkeit diskutieren.
Links zum Thema
Automotive – Safety & Security 2010
Embedded World 2010
Event Angaben
The embedded world Exhibition & Conference is the world's biggest exhibition of its kind and the meeting-place of the international embedded community. Embedded technologies are in action everywhere - whether in the car, data and telecommunication systems, industrial and consumer electronics, military systems or aerospace.
Links zum Thema
Embedded Software Engineering Kongress
Event Angaben
90 Fachvorträge und 10 Kompaktseminare aus Entwicklung, Forschung, Lehre und Management bieten reichlich Stoff für neue Ideen, Lösungswege und angeregte Diskussionen.
Aus insgesamt 182 Vorschlägen wurden für folgende Themen Fachbeiträge ausgewählt: Analyse & Design, Implementierung, Test & Qualität, Software Engineering Management, Modellierung, Test von Modellen, Echtzeit & RTOS, Embedded Java, GUI, Open Source, sichere Software, Fachdidaktik, Mensch & Team, Forschung & Lehre, Wissenswertes für Manager.
Links zum Thema
Elektronik im Kraftfahrzeug
Event Angaben
Treffen Sie auf über 1.500 Entscheider der Fahrzeugtechnik und diskutieren Sie folgende Top-Themen:
- Elektrifizierung des Antriebsstrangs
- Standardisierung versus Differenzierung
- Von der Komfort- zur Sicherheitsfunktion?
- Infotainment
- Elektronik in der Prozesskette
- EE-Systemarchitektur, Tools, Bauelemente und Sensoren
- Bedarfsgerechte Elektronikkonzepte für neue Märkte - Elektronik im Low Price Vehicle
Verpassen Sie nicht den Elektronik-Branchentreff der Automobilwirtschaft!
Links zum Thema
Halbtägiges, kostenfreies Seminar “Requirement-Engineering und Systemdesign“
Event Angaben
Anforderungen an Systeme sind in der Analysephase oft noch nicht klar ersichtlich oder aus den vorliegenden Informationen schwer zu extrahieren. Eine systematische Vorgehensweise und die richtige Methodik spielen eine entscheidende Rolle, um User- und System-Requirements zu finden, zu formulieren und in einem Modell richtig umzusetzen.
Agenda13.00 Uhr Begrüßung
13.10 Uhr Einführung in das Requirements Engineering:
- Von Kundenanforderungen zum System-Modell und weiter
- Nachverfolgbarkeit von Anforderungen in Ihrem Entwicklungsprozess mit dem Anforderungsbroker Reqtify (Demo)
14:15 Uhr Pause
14:30 Uhr Anwendung von Use Cases und UML im Entwicklungsprozess:
- Erarbeiten eines Fallbeispiels im Dialog
- Methodisches Vorgehen beim Umsetzen fachlicher Vorgaben mit SysML/UML
15.45 Uhr Pause
16:00 Uhr Das Zusammenspiel von Tools, Methodik und Entwicklungsprozess
- Vorstellung einer anwendbaren Toolkette in der Praxis (Demo Artisan Studio und Reqtify)
16:30 Uhr Diskussion