Friedrich-Alexander-Universität Erlangen-Nürnberg

Francesca Saglietti

Anschrift:

Leistungsprofil:

• Ingenieurmäßige Entwicklung und Zuverlässigkeitsnachweis komplexer Softwaresysteme hoher Qualität unter Berücksichtigung einzusetzender Arbeits- und Zeitressourcen, insbesondere:
• Auswirkung des Entwicklungsprozesses auf die Softwarequalität, vergleichende Untersuchung von Spezifikationssprachen, Kriterien der Entwurfsqualität im Hinblick auf die resultierende Softwarewartbarkeit
• Verifikation und Validierung komplexer Software durch Testen und Korrektheitsbeweis, automatische Testdatenerzeugung mittels evolutionärer Verfahren, Optimierung von Integrations- und Last-Tests
• Wiederverwendung vorgefertigter Softwarebausteine durch toolgestützte Komponentenintegration, fehlertolerierende Softwarearchitekturen
• Zertifizierung von Software mit Sicherheitsverantwortung, quantitative Bewertung der Softwarezuverlässigkeit unter Berücksichtigung bereits gewonnener Betriebserfahrung, Erzielung und Nachweis von Informationssicherheit, Erzielung und Bewertung software-ergonomischer Merkmale in den frühen Spezifikations- und Entwurfsphasen

• Automatische Testdatengenerierung zur Unterstützung inkrementeller modell- und codebasierter Testprozesse für hochzuverlässige Softwaresysteme (Verbundprojekt UnITeD, FuE Programm Informations- und Kommunikationstechnik, Software-Offensive Bayern)
• Automatische datenflussorientierte Testfallerzeugung für objekt-orientierte Softwaresysteme mittels evolutionärer Verfahren
• Softwarezuverlässigkeitsbewertung unter Berücksichtigung der mit vorgefertigten Komponenten gewonnenen Betriebserfahrung
• Toolgestützte Integration vorgefertigter Softwarekomponenten auf Basis einer erweiterten Schnittstellendefinition
• Integrationstest komponentenbasierter Software; Erkennung selten auftretender Softwarefehler durch Lasttest von Kommunikationssystemen; Erzielung und Bewertung software-ergonomischer Merkmale in den frühen Spezifikations- und -Entwurfsphasen

Publikationen:

• F. Saglietti, N. Oster, F. Pinte<br> <i>Interface Coverage Criteria Supporting Model-Based Integration Testing</i><br> Workshop Proceedings of the 20th International Conference on Architecture of Computing Systems (ARCS 2007)<br> Marco Platzner, Karl-Erwin Großpietsch, Christian Hochberger, Andreas Koch (eds.), VDE Verlag, Berlin / Offenbach, 2007 <br><br>
• N. Oster<br> <i>Automatische Generierung optimaler struktureller Testdaten für objekt-orientierte Software mittels multi-objektiver Metaheuristiken</i><br> Dissertation, Friedrich-Alexander-Universität Erlangen-Nürnberg<br> "Arbeitsberichte des Instituts für Informatik", Bd. 40, Nr. 2, 2007 <br><br>
• N. Oster, F. Saglietti<br> <i>Automatic Test Data Generation by Multi-Objective Optimisation</i><br> Computer Safety, Reliability and Security, Proceedings SAFECOMP 2006<br> Lecture Notes in Computer Science (LNCS), Vol. 4166<br> Janusz Górski (ed.), Springer-Verlag, 2006 <br><br>
• F. Saglietti<br> <i>Sicher ist sicher - Einheitliche Betrachtung von Funktions- und Informationssicherheit</i><br> &lt;kes&gt; – Die Zeitschrift für Informations-Sicherheit, Nr. 4 SecuMedia Verlags-GmbH, August / September 2006 <br><br>
• M. Jung, F. Saglietti<br> <i>Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults</i><br> Proceedings of 9th IEEE International Symposium on High Assurance Systems Engineering (HASE '05) IEEE Computer Society, 2005<br><br>
• J. Palluch, S. Weiss, F. Saglietti<br> <i>A Technique to Improve the Quality of Software Requirements in Natural Language</i><br> Proceedings of 28th IFAC/IFIP Workshop on Real-Time Programming (WRTP 2004) and International Workshop on Software Systems (IWSS 2004) Elsevier for International Federation of Automatic Control (IFAC), 2005<br><br>
• J. Drexler, F. Saglietti<br> <i>Eine einheitliche Kohäsionsmetrik für Methoden, Klassen und Komponenten</i><br> In Software Measurement - Research and Application Proceedings of International Workshop on Software Metrics (IWSM 2004) and DASMA Software Metric Congress (Metrikon 2004) Magdeburger Schriften zum Empirischen Software Engineering A. Abran, M. Bundschuh, G. Büren, R. Dumke eds., Shaker Verlag, 2004<br><br>
• F. Saglietti<br> <i>Licensing Reliable Embedded Software for Safety-Critical Applications</i><br> Real-Time Systems, The International Journal of Time-Critical Computing Systems 28, Nr. 2/3 Kluwer Academic Publishers, 2004<br><br>
• J. Zalewski, W. Ehrenberger, F. Saglietti, J. Gorski, A. Kornecki<br> <i>Safety of Computer Control Systems: Challenges and Results in Software Development</i><br> Annual Reviews in Control, Vol. 27, No. 1, pp. 23-37 Elsevier Science & International Federation of Automatic Control (IFAC), 2003<br><br>
• W. Halang, F. Saglietti<br> <i>Cognitive Ergonomics Oriented Design of Safety Related Control Software</i><br> Proc. 11th European Conference on Cognitive Ergonomics (ECCE 11) S. Bagnara, S. Pozzi, A. Rizzo and P. Wright eds. Consiglio Nazionale delle Ricerche, Istituto di Scienze e Tecnologie della Cognizione, 2002<br><br>

Kooperationsangebot für die Wirtschaft / Praxis:

• Automatische Testfall- und Testdatengenerierung
• Erfassung und Auswertung von Betriebserfahrung
• Sicherheitsanalyse und Zuverlässigkeitsbewertung
• Automatische Überprüfung auf Erfüllung von Sicherheitsstandards
• Unterstützung der Traceability im Software-Entwicklungsprozess

Bestehende Kooperationen: