02.08.2010 Im Bereich der eingebetteten Systeme, beispielsweise im Automobilsektor, wird heutzutage immer mehr auf eine modellbasierte Entwicklung gesetzt. Die Anforderungen an die zu entwickelnden Systeme werden dagegen aus juristischen Gründen und zwecks einer guten Verständlichkeit nach wie vor rein textuell formuliert. Ein Prosatext lässt sich allerdings wegen der Fülle von Formulierungsmöglichkeiten nicht automatisiert verarbeiten. Dies führt dazu, dass die Qualitätsanalyse der Anforderungen und der Übergang von textuellen Anforderungen zu Systemmodellen auf manuelle Weise erfolgen müssen. Dies kostet Zeit und ist fehleranfällig.

Der Artikel stellt einen Ansatz vor, mit dem Anforderungen auf Basis von Satzmustern weiterhin textuell, aber gleichzeitig auch automatisiert verarbeitbar formuliert werden können.

Der Beitrag ist im Rahmen der Innovationsallianz Software Plattform Embedded Systems 2020 (SPES 2020)" entstanden, in der eine ganzheitliche und branchenübergreifende Entwicklungsmethodik für eingebettete Systeme erforscht wird. Neben den Arbeiten an dieser Entwicklungsmethodik hat der Autor Jörg Holtmann die im Artikel vorgestellten Konzepte innerhalb der Automobilbranche erarbeitet bzw. untersucht diese weiter.

Sie können den Artikel hier herunter laden.

Praxisnah Informatik studieren? In Industrieprojekten mitarbeiten? Software-Innovationen mitentwickeln? In aktuelle Forschungsthemen im Bereich Software Engineering hineinschnuppern? Aktuelle Trends und Technologien der Softwareentwicklung hautnah erleben? Interessante Unternehmen kennen lernen? Studentinnen und Studenten, die das interessiert, sollten sich das s-lab mal genauer ansehen.

Das „Open Lab“ am Donnerstag, den 8. Juli von 16 bis 19 Uhr in den Gebäuden E und N bietet hierzu eine ausgezeichnete Gelegenheit! Details zur Veranstaltung und zum Programm gibt es hier.

Informationen speziell für Studenten und Studentinnen gibt es unter:
s-lab-info-studierende@lists.uni-paderborn.de (E-Mailverteiler) und bei Twitter: slab4students.

Lesen Sie auch die Presseankündigung.

27.06.2010 Der letzte Tag der offenen Tür der Universität Paderborn liegt 5 Jahre zurück. Fast auf den Tag genau, am 3. Juli 2005, präsentierte sich das s-lab erstmals eindrucksvoll der Öffentlichkeit. Am Tag darauf veröffentlichte die Universität die Ordnung des s-lab, der offizielle Start sozusagen. Nun, am fünften Geburtstag des s-lab findet wieder ein Tag der offenen Tür statt. Und das s-lab ist natürlich wieder dabei!

5 Jahre s-lab, Anlass genug auf die bisherige Erfolgsgeschichte, aber auch die Herausforderungen der Zusammenarbeit zwischen Universität und Unternehmen zu schauen. Das s-lab zeigt sich und seine Arbeit von 10 bis 18 Uhr an seinem Stand im Hörsaal G. Hier bietet sich den Besuchern Gelegenheit zur Information und zu Gesprächen. Höhepunkt sind zwei Diskussionsrunden nach dem Modell „Doppelpass“, das Fußballfans aus dem sonntäglichen Fernsehprogramm kennen. Am einzig spielfreien Sonntag der Fußball-WM schließen wir die Lücke mit zwei lockeren Gesprächsrunden „Software Engineering im Dialog“, Spielzeit: 2 x 30 Minuten. Thema ist der Technologietransfer zwischen Wirtschaft und Universität für die Software der Zukunft!

In der ersten „Halbzeit“ um 12:30 Uhr geht es um „Praxisnahes Studieren – Wie geht das?!“. Mit Unternehmen und Studierenden diskutieren wir, wie sie von der Zusammenarbeit in Forschung und Entwicklung profitieren können.

Informationen zum Tag der offenen Tür gibt es unter: http://www.uni-paderborn.de/tdot2010/

02.04.2010 Modellbasiertes Testen ist eine Technik, die durch den Einsatz von abstrakten Modellen und geeigneten Algorithmen bestimmte ansonsten manuelle Aktivitäten, wie z. B. das Testdesign, unterstützt. Die Einführung von modellbasiertem Testen hat das Potenzial, die Testüberdeckung durch die automatische Generierung von Testfällen zu erhöhen und somit das Vertrauen in die Software zu steigern. Den Einsparungen von manuellen Testaktivitäten steht aber der Zusatzaufwand für die Erstellung der Modelle gegenüber. Projekt- und Testmanager stehen also vor der Frage, ob modellbasiertes Testen in ihrer konkreten Testorganisation eine sinnvolle Investition darstellt.

Der Artikel erklärt die wesentlichen Begriffe zum Thema modellbasiertes Testen und gibt Entscheidungsträgern eine heuristische Entscheidungshilfe an die Hand.

Der Artikel ist aus dem Arbeitskreis "Testen objektorientierter Programme/Model-Based Testing" (TOOP/MBT) der Gesellschaft für Informatik heraus entstanden, unter Mitwirkung unserer Mitarbeiter Baris Güldali und Michael Mlynarski, die zudem Sprecher und stellvertretender Sprecher des Arbeitskreises sind.

Sie können den Artikel hier herunter laden.

01.02.2010 Vom 22. bis 26. Februar findet in Paderborn im Heinz Nixdorf MuseumsForum (HNF) die nationale Fachtagung "Software Engineering 2010" (SE 2010) statt, die in diesem Jahr von Prof. Dr. Gregor Engels, dem Vorstandsvorsitzenden des s-lab, geleitet wird.

Die Tagung beinhaltet Workshops und Weiterbildungstutorials, in denen gegenwärtige und neue Ansätze der Softwaretechnik diskutiert werden und Experten vertiefende Kenntnisse zu ausgewählten Themen vermitteln. Ebenso werden technisch-wissenschaftliche Beiträge der aktuellen Forschungswelt präsentiert.

Prof. Dr. Wilhelm Schäfer (s-lab) organisiert den Industrietag am 24. Februar bei dem moderne Vorgehensweisen, Erfahrungen und neue Erkenntnisse realer und aktueller Softwareentwicklungen gezeigt werden.

Zusätzlich organisiert der s-lab-Geschäftsführer Stefan Sauer das Software Engineering Forum der Informatik-Transferinstitute „SE FIT“ am 24. und 25. Februar, bei dem deutsche Technologietransferinstitute im Bereich Softwaretechnik erfolgreiche und spannende Forschungsergebnisse sowie Projekte aus Industrie und Universitäten in Ausstellungen und Präsentationen zeigen. Hieran wird sich auch das s-lab mit einem Ausstellungsstand sowie einem Vortrag beteiligen.

Weitere Informationen über Programm und Teilnahme im Internet: http://www.se2010.upb.de/.

Kontakt: Markus Luckey, Tel.: 05251-60-3358, luckey[at]upb.de.

10.06.2009 In dem Verbundprojekt „Entwurfstechnik Intelligente Mechatronik“ (ENTIME) soll unter maßgeblicher Beteiligung des s-lab eine fachgebietsübergreifende Entwurfstechnik für mechatronische Produkte bereitgestellt werden und durch die Verbindung mit Techniken des Semantic Web für einen effektiven Austausch von Lösungswissen entlang der Branchenwertschöpfungsketten sorgen. Das Projekt soll mit ca. 4,3 Mio. Euro gefördert und in enger Kooperation der Hochschule, vertreten durch die Professoren Dr.-Ing. Jürgen Gausemeier, Dr. Wilhelm Schäfer (s-lab) und Dr.-Ing. Ansgar Trächtler, mit neun innovativen Unternehmen aus der Region durchgeführt werden.
Das Projekt gehört zu den 9 Vorhaben, die im Rahmen der zweiten Ausschreibungsrunde des Spitzentechnologiewettbewerbs "Hightech.NRW" gefördert werden. Landesweit hatten sich an dieser Runde 149 Antragssteller aus Hochschulen, Forschungseinrichtungen und Unternehmen beteiligt (Pressemitteilung der Hochschule).

02.02.2009 Die Innovationsallianz "Software Plattform Embedded Systems 2020" (kurz SPES 2020) bestehend aus 21 Partnern aus Industrie und Wissenschaft hat sich zum Ziel gesetzt, eine branchenübergreifende, durchgängige Methodik zur Entwicklung der Software für eingebettete Systeme zu definieren. Um die Einsatzfähigkeit einer solchen Methodik in verschiedenen Branchen zu gewährleisten und branchenübergreifend Synergieeffekte zu erzielen, werden die fünf Anwendungsprojekte Avionik, Medizin, Energie, Automotive und Automatisierung eng verzahnt mit sechs Zentralprojekten zur Entwicklung der Gesamtmethodik durchgeführt. Auf diese Weise werden branchenspezifische Fragestellungen adressiert und branchenspezifisches Know-how berücksichtigt. Das Vorhaben ist zunächst auf 3 Jahre angelegt und wird vom Bundesministerium für Bildung und Forschung (BMBF) mit ca. 22 Mio. Euro gefördert.
Das s-lab arbeitet zum einen im Anwendungsprojekt Automotive, das von Prof. Dr. Schäfer stellvertretend koordiniert wird, eng mit seinem assoziierten Partner Hella KGaA Hueck & Co. zusammen und bringt zudem seine Expertise in der Modellierung eingebetteter Softwaresysteme in die Zentralprojekte ein.

21.08.2008 Die Kooperation der dSPACE GmbH mit dem s-lab zum Thema „Diagnose von automotiven Applikationen“ wird am 10. September 2008 im Rahmen der Veranstaltungsreihe  InnovationsDialog NRW - Wirtschaft trifft Wissenschaft vorgestellt. Die erfolgreiche Zusammenarbeit ist eines von zwei Best-Practice-Beispielen unter dem Titel  "Virtuelle Produktentwicklung mit Simulation / Verkürzung Time-to-market durch Einsatz von Simulationstechniken". Die Veranstaltung findet am 10. September 2008 ab 17:00 bis ca. 18.30 Uhr bei der dSPACE GmbH (Technologiepark 11, Raum 5301, 33100 Paderborn) statt. Eingeladen sind Vertreter von Unternehmen und Hochschulen, die an einer Ausweitung ihrer innovationsbezogenen Zusammenarbeit interessiert sind. Die Reihe wird von der InnovationsAllianz der NRW-Hochschulen veranstaltet. Die Anzahl der Teilnehmer ist auf 40 begrenzt. Bitte melden Sie sich rechtzeitig an! Flyer. Anmeldeformular. Pressemitteilung.

20.08.2008 Druckfrisch erschienen ist die zweite Auflage des Lehrbuchs "Modellierung - Grundlagen und formale Methoden" der s-lab-Professoren Uwe Kastens und Hans Kleine Büning. Das Buch, das bei Hanser verlegt wird, vermittelt Grundlagenwissen für Informatiker. Es bietet den Lehrstoff zur Modellierung für Einführungsvorlesungen und eignet sich für die Bachelor-Studiengänge Informatik und verwandter Fächer. Modellieren ist eine typische Arbeitsmethode für das Fach Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben, bevor sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert werden. Das Buch stellt Modellierungstechniken vor und zeigt an vielen praktischen Beispielen, wie die grundlegenden Methoden, Kalküle und Notationen zur Modellierung für unterschiedliche Arten von Problemen und Aufgaben anzuwenden sind. Die zweite Auflage wurde gründlich überarbeitet und um Abschnitte zu UML und XML erweitert. Umfassendes Vorlesungs- und Übungsmaterial für Studierende und Dozenten gibt es unter http://downloads.hanser.de.

19.08.2008 Frisch erschienen ist der dritte Band der POWeR-Buchreihe der Patent Offensive Westfalen Ruhr zum Thema Open Source - Kommerzialisierungsmöglichkeiten und Chancen für die Zusammenarbeit von Hochschulen und Unternehmen. In diesem Band wird das Vermarktungspotenzial von quelloffener Software aus unterschiedlichen Sichtweisen geschildert. Es werden sowohl technische als auch wirtschaftliche und juristische Aspekte dargestellt und bewertet. Fabian Christ und Stefan Sauer aus dem s-lab sind Autoren eines Kapitels über Open Source Stacks (OSS). Das sind vorkonfigurierte Verbände von Open-Source-Komponenten. Die Komponenten spielen so zusammen, dass der OSS als geschlossene Einheit genutzt werden kann. Softwarehersteller setzen OSS als Plattform für die Entwicklung eigener Software ein. Der Einsatz von Open-Source-Komponenten wird durch die Benutzung von vorgefertigten OSS mit zusätzlichen Dienstleistungen einfacher und effektiver. OSS stehen also für effektive Wiederverwendung von frei verfügbarer Software. Sie helfen Kosten und Entwicklungszeiten für die Entwicklung neuer Software zu reduzieren. Durch den Einsatz vorgefertigter Lösungsbausteine wird außerdem die Qualität der entwickelten Anwendung erhöht.
In dem Beitrag werden OSS charakterisiert und mögliche Ausprägungen betrachtet. Christ und Sauer beschreiben den zugehörigen Softwareentwicklungsprozess und die verschiedenen Rollen, die Unternehmen einnehmen können, wenn sie OSS verwenden und wirtschaftlich einsetzen wollen. Entwickler von OSS sehen sich allerdings mit einer Vielzahl von Problemen und Fragestellungen konfrontiert, die sich mit der Auswahl, der Kopplung, der Aktualität und der Kompatibilität von OS-Komponenten sowie der Qualitätssicherung von OSS beschäftigen. Die Möglichkeiten der Vermarktung sind jedoch vielfältig, sei es als OSS-Entwickler, OSS-Distributor, OSS-Berater oder OSS-Benutzer. Der Beitrag zeigt am Beispiel der Kooperation zwischen dem s-lab und der S&N AG, dass durch die Zusammenarbeit von Hochschulen und Unternehmen neue Technologien wie OSS für beide Seiten gewinnbringend eingesetzt werden können.
Neuerscheinungsblatt. Pressemitteilung.

18.08.2008 Zum zweiten Mal fanden am 14. und 15. August die s-lab Research Days statt. Alle Professoren, wissenschaftlichen Mitarbeiterinnen und Mitarbeiter trafen sich, um sich über Promotionsvorhaben und aktuelle Forschungsthemen auszutauschen. In Vorträgen mit ausgiebigen Diskussionsrunden und Kleingruppen wurden relevante Fragestellungen, Lösungen und zukünftige Ausrichtung der wissenschaftlichen Arbeit im s-lab ausgiebig diskutiert. Die weit gefächerte Expertise der fünf Hochschullehrer und die unterschiedlichen Perspektiven der Kolleginnen und Kollegen lieferten reichlich Stoff für interessante und sehr konstruktive Diskussionen. Ein Schwerpunkt war es, Beziehungen zwischen den Themen und Projekten zu identifizieren, um dort die Zusammenarbeit zu verstärken.

08.08.2008 Zwei Berichte in der frisch erschienenen Paderborner Universitätszeitschrift 2/2008 sind über Aktivitäten des s-lab: Mach doch Informatik – Initiative „Paderborn ist Informatik“ informiert über interessante Berufsperspektiven (S. 32-33); s-lab und HJP Consulting kooperieren beim Test elektronischer Reisepass-Systeme (S.108). Außerdem lesen Sie ein Kurzinterview mit Softwaretechnik-Gastprofessor Dr. Nazim Madhavji von der University of Western Ontario, Kanada, der seit einem Jahr Gast im Institut für Informatik der Universität Paderborn ist (S. 54) – natürlich auch in der Online-Ausgabe!

28.07.2008 Seit heute sind wir stolzer Besitzer der Internet-Domain s-lab.de. Der Weg dorthin war nicht ganz einfach, aber jetzt findet man uns auch ohne zu wissen, dass das s-lab eine wissenschaftliche Einrichtung an der Universität Paderborn ist. Natürlich benutzen wir s-lab.upb.de auch weiterhin.

20.06.2008 Zum zweiten Mal organisierten sd&m AG und s-lab eine Exkursion in die sd&m-Niederlassung Frankfurt, die tatsächlich ihren Sitz im höchsten Haus der Offenbacher Innenstadt hat. 25 Studierende nutzten die Gelegenheit, sich über Geschäftsfelder, Projekte und Arbeitsbedingungen des s-lab-Partners zu informieren – und bei Gesprächen den Blick aus dem 31. Stockwerk über die Main-Metropole zu genießen. Begleitet wurden sie von Prof. Dr. Gregor Engels und den beiden s-lab-Geschäftsführern Matthias Meyer und Stefan Sauer.

30.05.2008 Die Universität Paderborn nimmt seit Jahren eine Spitzenstellung bei Ausgründungen ein. Damit im zukunftsträchtigen Umfeld der Informationstechnologie noch mehr Unternehmen gegründet werden, wurde an der Universität Paderborn das Existenzgründungsnetzwerk „ITpreneurship: Kooperative Gründungsoffensive Hochschule – Wirtschaft im IT-Cluster Paderborn“ gestartet. Gemeinsames Ziel ist es, gründungswilligen Studierenden und Mitarbeitern durch die Zusammenarbeit von Hochschule und Unternehmen einen erfolgreichen Start ins eigene Unternehmen zu ermöglichen. Durch ein Bündel von Veranstaltungen und Beratungsdienstleistungen sollen Uni-Mitglieder mit externen Ideengebern zusammengebracht werden. Bei dem zunächst auf drei Jahre angelegten Projekt ist das s-lab einer von vier Projektpartnern. Das Projekt wird vom Bundesministerium für Wirtschaft und Technologie (BMWi) im Programm EXIST III gefördert.

Die offizielle Auftaktveranstaltung des Projekts fand nun im Hotel Campus Lounge statt mit dem Ziel, das Projekt zu präsentieren, weitere Kooperationen aufzubauen und den Teilnehmern ein Forum für intensiven Austausch und Kontaktpflege zu bieten. Den Festvortrag hielt Thomas Niehoff, Hauptgeschäftsführer der Industrie- und Handelskammer Ostwestfalen zu Bielefeld. Ein weiterer Höhepunkt war die Verleihung des Universität-Labels „eine Unternehmensgründung aus der Universität Paderborn“ durch Professor Dr. Wilhelm Schäfer, Vizepräsident für Forschung und wissenschaftlichen Nachwuchs der Universität Paderborn.

Lesen Sie den Pressebericht und die Pressemitteilung zum Vortrag von Thomas Niehoff.

Einladung und Programm. Ankündigung. Mehr über das Projekt im Projekt-Flyer oder unter http://itpreneurship.de/.

28.05.2008 Wincor Nixdorf, einer der weltweit führenden Anbieter von IT-Lösungen für die Filialen von Banken und Handelsunternehmen, ist der achte assoziierte Partner des s-lab. Wichtige Geschäftsfelder des Unternehmens sind Software und Hardware für Geldautomaten, Kiosksysteme und POS-Kassensysteme sowie Anwendungsprogramme, IT-Services, Dienstleistung und IT-Consulting. Ziel des Einstiegs von Wincor Nixdorf im s-lab ist es, den Know-how-Transfer mit Hochschulen und Forschungseinrichtungen international auszubauen. Langfristig will das Unternehmen eine Plattform für den Wissensaustausch und ein umfassendes Innovations-Netzwerk etablieren. Reinhard Rabenstein, CTO bei Wincor Nixdorf, erklärte, die Kooperation werde kurzfristig mit Leben gefüllt: „Das erste Projekt mit dem s-lab im Bereich Qualitätssicherung bei der Softwareentwicklung wird in den nächsten Wochen gestartet.“ Es wird sich mit der Fragestellung befassen, wie Verfahren zur Software-Testautomatisierung weiter ausgebaut und gewinnbringend eingesetzt werden können. „Nach mehreren erfolgreichen Diplomarbeiten, die wir gemeinsam durchgeführt haben, freuen wir uns, die Zusammenarbeit so weiter zu vertiefen", blicken Stefan Sauer, Geschäftsführer des s-lab, und Hubert Segin, Leiter Qualitätssicherung Software bei Wincor Nixdorf, erwartungsvoll auf das geplante Projekt. Lesen Sie die vollständige Pressemitteilung.

18.05.2008 Die 30. International Conference on Software Engineering (ICSE) fand vom 10.-18. Mai 2008 in der Neuen Messe Leipzig statt. Gleichzeitig wurde der 40. Geburtstag der Disziplin Software Engineering gefeiert. Das s-lab nutzte die weltweit wichtigste Softwaretechnik-Konferenz, um sich dem Fachpublikum aus Wissenschaft und Praxis zu präsentieren. Viele Besucher aus dem In- und Ausland informierten sich am Stand des s-lab über Projekte, Leistungsspektrum und das Kooperationsmodell. Auch das von Prof. Dr. Gregor Engels gehaltene Tutorial zu Service-orientierten Architekturen stieß auf großes Interesse. Ein Interview mit Prof. Dr. Engels zu diesem Thema gibt es online. Die s-lab-Professoren Dr. Wilhelm Schäfer als General Chair und Dr. Gregor Engels als Workshop-Co-Chair waren zudem in verantwortlicher Position maßgeblich daran beteiligt, dass die „Jubiläumskonferenz“ erfolgreich verlief und bei den mehr als 1000 Teilnehmern in positiver Erinnerung bleiben wird. Unter den Vortragenden und Teilnehmern der Tagung waren auch zahlreiche s-lab-Partner. Informationen zur ICSE'08 unter http://icse08.upb.de/. Pressemitteilung.

14.05.2008 Pünktlich zur ICSE 2008 erscheint das Faltblatt über das s-lab im neuen Design – und natürlich auch in Englisch („The Software Quality Edge“). Sehen Sie selbst: Deutsch, Englisch!

31.03.2008 Unter Mitwirkung von Gregor Engels, der nicht nur Professor im s-lab, sondern auch wissenschaftlicher Leiter bei sd&m Research, der Forschungsabteilung eines unserer assoziierten Partner ist, ist das Buch "Quasar Enterprise: Anwendungslandschaften serviceorientiert gestalten" entstanden und nun im dpunkt Verlag erschienen. Denn IT-Anwendungslandschaften in Unternehmen sind komplexe, über Jahre gewachsene Gebilde. Sie architektonisch zu gestalten und nachhaltig zu entwickeln erfordert eine eigene Methodik. Quasar Enterprise setzt auf dem Ansatz serviceorientierter Architekturen (SOA) auf und beschreibt eine durchgängige Architekturmethodik für die serviceorientierte Gestaltung von Anwendungslandschaften, die Erfahrungen aus Dutzenden von Beratungs-, Integrations- und großen Softwareprojekten bei sd&m widerspiegelt.

10.03.2008 In der neuesten Ausgabe 1/2008 der Paderborner Universitätszeitschrift (PUZ) finden sich mehrere Beiträge, in denen über das s-lab berichtet wird:

• Seite 26-28: Im s-lab millionenschweren Fehler entdecken – Software Quality Lab informierte Unternehmen und Studierende
• Seite 44-45: Im Bereich Softwaretechnik die Nase vorn – Universität Paderborn bundesweit führend
• Seite 61: Informatikstudierende erhalten Einblicke aus erster Hand – Exkursion zur sd&m AG
• Seite 71: Eingebettete Systeme bringen Experten nach Paderborn – 4. Workshop „Object-oriented Modeling of Embedded Real-Time Systems (OMER)“
• Seite 73: Orga Systems ist neuer Partner des s-lab

Neben der Druckausgabe gibt es auch eine elektronische Fassung online.

04.03.2008 Das s-lab präsentiert sich in diesem Jahr als Teil der „Zukunftsmeile Fürstenallee“ auf der CeBIT. Gezeigt werden Kompetenzen, Forschungsthemen und beispielhafte Kooperationsprojekte des s-lab. Das s-lab spielt eine zentrale Rolle im Konzept der Zukunftsmeile. Am ersten Tag der Messe besuchte Staatssekretär Dr. Jens Baganz, NRW-Wirtschaftsministerium, den Messestand. Baganz informierte sich dabei ausführlich über Ziele, Struktur und Gesellschafter der Zukunftsmeile Fürstenallee Projektentwicklungsgesellschaft mbH sowie über die Vielzahl der Wirtschaftspartner in OWL. Informationen zur Zukunftsmeile unter http://www.zukunftsmeile-fuerstenallee.de/.

31.01.2008 Unter dem Motto „Technology Briefing“ hatte Wincor Nixdorf Wissenschaftler mehrerer Hochschulen zu der Messe Wincor World eingeladen, um den Dialog zu Themen der Technologieentwicklung zu intensivieren. Ziel des Unternehmens ist es, eine Plattform und ein Netzwerk für den Innovationsaustausch zu etablieren. Neben einem umfassenden Überblick über die Produkte und Innovationen des Unternehmens diskutierten Reinhard Rabenstein (CTO) und Eckard Heidloff (CEO) Anknüpfungspunkte für eine Zusammenarbeit mit den Gästen aus der Wissenschaft. Das s-lab stellte mit den Professoren Engels, Kleine Büning, Rammig und Schäfer sowie Geschäftsführer Stefan Sauer die stärkste Delegation, flankiert von Rektor Prof. Dr. Nikolaus Risch und anderen Hochschullehrern der Universität Paderborn.

30.01.2008 Die Universität Paderborn bietet erstmalig eine Blockveranstaltung aus Fachvorträgen und Diskussionsrunden zu dem Thema „SIGMA-IT: Selbstständig?! – Initiative zur Förderung von Gründungen, Mittelstand und Arbeitsplätzen in der IT-Branche“ an. Initiator dieser Veranstaltung ist das Projekt „ITpreneurship“, an dem auch das s-lab beteiligt ist.  An vier Abenden referieren und diskutieren hochkarätige Unternehmensvertreter regionaler IT-Unternehmen zu den praxisnahen Themen „Web 2.0“, „IT-Recht & Sicherheit“, „Softwareentwicklung“ und „Gründungsbeispiele in der IT-Branche“. Die Veranstaltungen, die am 31. Januar sowie am 1., 5. und 6. Februar im Technologiepark 13 stattfinden, beginnen jeweils um 17 Uhr und richten sich vor allem an Existenzgründer und junge Unternehmen aus der IT-Branche. Der Eintritt ist kostenlos, alle Interessierten sind herzlich willkommen. Anschließend können am 7. und 8. Februar Studenten aller Fachrichtungen am ersten EXIST-Campus-Cup der Universität Paderborn teilnehmen. Hierbei handelt es sich um ein zweitägiges Unternehmensplanspiel des Bundesministeriums für Wirtschaft, das auf einer realistischen, computergestützten Unternehmens¬simulation basiert. Nähere Informationen zu den Veranstaltungen und dem Projekt erhalten Sie unter www.itpreneurship.de sowie in den folgenden Pressemitteilungen:

Universität Paderborn: EXIST Campus-Cup am 7. und 8. Februar 2008 – Spielerisch unternehmerische Kompetenzen entwickeln

SIGMA-IT vermittelt unternehmerische und branchenspezifische Kenntnisse im IT-Sektor: Jetzt anmelden

Öffentliche Themenabende und Unternehmensplanspiel für IT-Nachwuchsunternehmer

30.01.2008 Seit 2005 sind in über 50 Staaten elektronische Reisepässe eingeführt worden. Die elektronischen Pässe sind Teil eines komplexen IT-Systems, das Ausgabe, Verwaltung, Nutzung und Erkennung der Ausweisdokumente unterstützen muss.
"Während die Pässe ausreichend getestet wurden, stellt der Test der dazugehörigen, vielschichtigen IT-Systeme für den Passherausgeber immer noch eine Herausforderung dar“, beschreibt Markus Hartmann, Geschäftsführer von HJP Consulting, die gegenwärtige Situation. Das ist im Wesentlichen darauf zurückzuführen, dass es sich um verteilte Systeme handelt, die gemeinsam mit Systemen anderer Staaten funktionieren müssen. HJP Consulting, ein weltweit führendes Beratungsunternehmen zum Aufbau von elektronischen Pass-Systemen, kooperiert nun mit dem s-lab, um ein neues Referenzmodell zum Testen solcher Systeme zu entwickeln. „Das s-lab liefert die wissenschaftliche Expertise zum Test komplexer IT-Systeme, HJP Consulting bringt die praktische Erfahrung aus Regierungsprojekten in Europa, im Mittleren Osten und in Afrika in die Zusammenarbeit ein“, charakterisiert Prof. Dr. Gregor Engels, Vorstandsvorsitzender des s-lab, die Rollenverteilung der Partner. Lesen die die vollständige Pressemitteilung (als PDF).

19.12.2007 Der Chipkarten-Experte Sagem Orga GmbH und das s-lab haben nach erfolgreicher einjähriger Projektarbeit im Bereich der Next Generation Java Card™ ein neues Forschungsprojekt zu dem aktuellen Thema Servlets auf Smart Cards gestartet. Die Next Generation Java Card™ ist die neue Spezifikation für Java auf Smart Cards von Sun Microsystems. Dieser neue Standard sieht unter anderem die Integration eines Webservers und die Unterstützung von Servlets vor. Servlets ermöglichen es, einem Java-basierten Webserver dynamische Inhalte hinzuzufügen. „Die Karte der Zukunft wird webfähig sein, das heißt, dass die Kommunikation mit der Karte vorzugsweise auf HTTP basieren wird“, so Carsten Rust, Projektleiter bei Sagem Orga.
Die Ziele des neuen Projekts "Servlet-Container-Entwicklung und Testprozessoptimierung für Next Generation Java Card" unter der wissenschaftlichen Leitung von Prof. Dr. Uwe Kastens sind die Integration des Servlet Containers Jetty in eine Next Generation Java Card Umgebung und die Optimierung des Testprozesses von Sagem Orga durch den Einsatz der formalen Methoden Datenflussanalyse und Model Checking am Beispiel des Servlet Containers Jetty für Next Generation Java Card. Das Projekt baut auf dem erfolgreich abgeschlossenen Projekt "Sichere und performante Standard-Java-Implementierung auf einer Smartcard-Plattform" auf, bei dem der Prototyp einer Java Virtual Machine für die Next Generation Java Card™ realisiert wurde. Pressemitteilung (als PDF). Webseite zum Projekt.

15.11.2007 Über 60 Experten aus Wirtschaft und Wissenschaft trafen sich am 30. und 31. Oktober im Heinz Nixdorf MuseumsForum, um über neueste Trends, Entwicklungen und Forschungsergebnisse auf dem Gebiet eingebetteter Softwaresysteme zu diskutieren. Eingeladen hierzu hatte das Software Quality Lab (s-lab) der Universität Paderborn.

Software sorgt dafür, dass Produkte und Abläufe einwandfrei funktionieren. Eine hohe Qualität der Software ist dabei eine unabdingbare Voraussetzung, insbesondere dann, wenn hohe finanzielle Schäden entstehen oder sogar Menschenleben gefährdet sein können. Bei der vierten Auflage des Workshops „Object-oriented Modeling of Embedded Real-time Systems (OMER)“ waren insbesondere die Automobilindustrie und verwandte Gebiete die inhaltlichen Schwerpunkte.

Die Veranstalter waren mit dem Workshop sehr zufrieden. So sagte Prof. Dr. Holger Giese, Vorsitzender des Programmkomitees: „Der Workshop hat eindrucksvoll zum Ausdruck gebracht, wie wichtig der Austausch zwischen Wirtschaft und Wissenschaft ist. Der beiderseitige Wissens- und Erfahrungsaustausch zwischen Unternehmen und wissenschaftlichen Einrichtungen ist entscheidend für die dringend notwendigen Innovationen bei der Entwicklung von Software im Bereich eingebetteter Systeme." Es ist geplant, die Workshopreihe in Zukunft fortzusetzen. Weitere Informationen können Sie auf den Webseiten des Workshops unter http://omer4.upb.de nachlesen oder im s-lab erfahren. Pressemitteilung.

22.10.2007 Orga Systems GmbH, weltweit führender Softwareanbieter für konvergente Abrechnung von Mobilfunkdiensten in Echtzeit, hat als siebter assoziierter Partner einen unbefristeten Kooperationsvertrag mit dem s-lab geschlossen. "Die Nähe zur Universität Paderborn ist für uns als international ausgerichtetes IT-Unternehmen ein enormer Standortvorteil," erklärt Rainer Neumann, Geschäftsführer der Orga Systems. Orga Systems sichert sich durch die Zusammenarbeit den unmittelbaren Zugang zu neuem Wissen und den Entwicklungen im Bereich Billing und verschafft sich so einen Wettbewerbsvor­teil durch den schnelleren Einsatz innovativer Software-Lösungen. Prof. Dr. Gregor Engels, Vorstandsvorsitzender des s-lab, freut sich über diesen Erfolg und ist sich sicher, dass die Orga Systems GmbH eine perfekte Ergänzung darstellt: „Wir sind froh, dass die Orga Systems GmbH von der Qualität des s-lab überzeugt ist und sich zu einer langfristigen Zusammenarbeit entschlossen hat.“ Pressemitteilung.

22.10.2007 Was sind die aktuellen Herausforderungen bei der Entwicklung qualitativ hochwertiger eingebetteter Systeme, zum Beispiel im Automobilbereich oder verwandten Gebieten? Dieser Frage geht der 4. Workshop "Object-oriented Modeling of Embedded Real-Time Systems" (OMER-4) am 30. und 31. Oktober 2007 in Paderborn nach. In Vorträgen, Tutorien und Diskussionen können sich Teilnehmerinnen und Teilnehmer aus Industrie und Wissenschaft über aktuelle Ergebnisse aus Forschung und Praxis informieren: Architekturen, Entwicklungswerkzeuge und Methoden u.a. zur Erhöhung der Wiederverwendung eingebetteter Software und zur Bewältigung der steigenden Komplexität mittels modellbasierter Softwareentwicklung und objektorientierter Modellierung.

Der OMER-Workshop findet zum zweiten Mal nach 2005 im Heinz Nixdorf MuseumsForum statt, nachdem die Veranstaltungsreihe 1999 und 2001 in Herrsching am Ammersee gestartet wurde (siehe http://omer3.upb.de/history.html ). Hauptsponsor des OMER4-Workshops ist die dSPACE GmbH , assoziierter Partner des s-lab. Weitere Sponsoren sind die UNITY AG , ebenfalls s-lab-Partner, und Artisan Software sowie der DFG-Sonderforschungsbereich 614 - Selbstoptimierende Systeme des Maschinenbaus und der Querschnittsfachausschuss Modellierung der Gesellschaft für Informatik e.V . Weitere Informationen und Programm des Workshops unter http://omer4.upb.de/ . Pressemitteilung.

08.10.2007 Die ersten Mitarbeiter des s-lab haben erfolgreich die Prüfung zum „ISTQB Certified Tester“ bestanden. Das „ISTQB Certified Tester“-Programm ist ein weltweit anerkanntes, herstellerunabhängiges sowie standardisiertes Aus- und Weiterbildungsschema für Softwaretester. In Deutschland gab es Ende 2006 bereits mehr als 4.000 zertifizierte Tester. Weltweit sind es mehr als 35.000. Die Prüfungsteilnehmer sind Softwarefachleute aus allen Branchen (Automobilindustrie, Finanzdienstleistung, Medizintechnik, Telekommunikation, öffentliche Verwaltung etc.).
Das Schema besteht aus drei Ausbildungsstufen:

• Foundation Level
• Advanced Level
• Expert Level

Flyer und Programm des Open Lab zum Download.

Mehr Informationen zur Initiative gibt es unter www.paderborn-ist-informatik.de.

Mehr lesen Sie auf den Seiten 40-41, der Artikel ist aber auch elektronisch [536 KB] verfügbar. Die PUZ gibt es auch online.

15.09.2006

In seiner Vorstellung des s-lab betonte denn auch der Vorstandsvorsitzende Prof. Dr. Gregor Engels die unternehmensorientierte Ausrichtung: „Das s-lab stellt sich den Herausforderungen moderner Softwareentwicklung sowie den Fragestellungen, die mit dem steigenden Konkurrenz- und Kostendruck in der industriellen Softwareentwicklung einhergehen“. Dr. Oliver Niggemann, Vorsitzender des s-lab-Beirats und Produkt-Manager bei dSPACE sah es ähnlich: „Das s-lab hilft dabei, ein kreatives, aber anwendungsorientiertes Umfeld für Innovationsprojekte zu schaffen, in dem die Mitarbeiter ein ausreichendes Problemverständnis aus der Praxis entwickeln.“

Auch der Festredner Prof. Dr. Ernst Denert, Vorstandsvorsitzender der IVU Traffic Technologies AG, Berlin und Honorarprofessor für Informatik an der Technischen Universität München, betonte in seinem Festvortrag die zentrale Bedeutung einer systematischen Softwareentwicklungsmethodik: „Was wir prinzipiell können, können wir noch lange nicht in der Praxis.“

Im Anschluss an den Festakt konnten sich die Gäste bei einem "Get Together" kennen lernen, Informationen austauschen und Kontakte knüpfen. Außerdem nutzten sie die Möglichkeit, sich über das s-lab und seine Partner zu informieren, welche sich und ihre Projekte im Rahmen einer Mini-Messe vorstellten.

Lesen Sie den ausführlichen Bericht über die Eröffnungsfeier oder sehen Sie sich die Foto-Impressionen von der Veranstaltung an.

Die Reihe s-lab report dient der Veröffentlichung von technischen Berichten unter eigener Regie. In der Schriftenreihe sollen Projektberichte, Technologiestudien, „White Paper“ und vergleichbare Publikationen unter dem Label des s-lab erscheinen. Der s-lab report erscheint als elektronische Publikation mit der ISSN 1863-0774 und ist unter s-lab.upb.de/s-lab-report/ zu finden.

Der Artikel steht auf den Seiten 32-33, ist aber auch elektronisch [455 KB] (und in hoher Auflösung [ca. 7,7 MB]) verfügbar. Die gesamte Ausgabe der PUZ finden Sie ebenfalls online. Grundsätzlich erscheint die PUZ in gedruckter Form.

04.07.2005 Beim Tag der offenen Tür der Universität hat sich das s-lab erstmals der Öffentlichkeit präsentiert. Interessierte Besucher konnten sich einen Eindruck über die Forschungs- und Entwicklungsarbeit, Themen und Kompetenzen des s-lab verschaffen. Gezeigt wurden beispielhafte Projekte zur Softwarequalität, zum Beispiel Prüfsysteme für die automatische Analyse von programmierten Chipkarten (wie die neue Gesundheitskarte) oder zum Testen von Kfz-Steuergeräten sowie auf Modellen basierende Verfahren, um die Korrektheit sicherheitskritischer Systeme noch während der Ausführung zu überprüfen.

Auf besondere Beachtung stießen die vorgeführten Software-Entwicklungswerkzeuge. Sie ermöglichen die graphische Modellierung der Struktur und des Verhaltens von Software. Die Modell-Editoren werden ergänzt durch Komponenten, um die Modelle zu analysieren oder automatisch Programmcode oder Tests aus den Modellen zu generieren. Als Beispiele zeigten die Wissenschaftler die Code-Generierung für eingebettete Echtzeitsysteme und für die Simulation eines modernen Eisenbahnsystems.

Großes Interesse erfuhr auch der vom s-lab und dem Institut für Informatik gemeinsam präsentierte Vortrag „Software im Cockpit“ von Prof. Dr. Wilhelm Schäfer. Anhand aktueller Softwareentwicklungen in der Luftfahrt zeigte er Vorgehensweisen, wie man Software ausfallsicher machen kann.