Publications of Ina Schieferdecker

Warning: Undefined array key "year" in /users/ischieferdecker/www/publications/bibtex.php on line 105

Warning: Undefined array key 69 in /users/ischieferdecker/www/publications/bibtex.php on line 342

Warning: Undefined array key 69 in /users/ischieferdecker/www/publications/bibtex.php on line 342

[Article 42] "Sustainable and Reliable Information and Communication Technology for Resilient Smart Cities", Nikolay Tcholtchev and Ina Kathrin Schieferdecker, Smart Cities Multidisciplinary Digital Publishing Institute, Vol. 4, no. 1, pp. 156--176, 2021.Information and Communication Technology (ICT) is at the heart of the smart city approach, which constitutes the next level of cities\ ' and communities\ ' development across the globe. Thereby, ICT serves as the gluing component enabling different domains to interact with each other and facilitating the management and processing of vast amounts of data and information towards intelligently steering the cities\ ' infrastructure and processes, engaging the citizens and facilitating new services and applications in various aspects of urban life—e.g., supply chains, mobility, transportation, energy, citizens\ ' participation, public safety, interactions between citizens and the public administration, water management, parking and many other cases and domains. Hence, given the fundamental role of ICT in cities in the near future, it is of paramount importance to lay the ground for a sustainable and reliable ICT infrastructure, which can enable a city/community to respond in a resilient way to upcoming challenges, whilst increasing the quality of life for its citizens. A structured way of providing and maintaining an open and resilient ICT backbone for a city/community is constituted by the concept of an Open Urban Platform. Therefore, the current article presents the activities and developments necessary to achieve a resilient, standardized smart city, based on Open Urban Platforms (OUP) and the way these serve as a blueprint for each city\/community towards the establishment of a sustainable and resilient ICT backbone.,

@Article{Tcholtchev2021,
author    = {Nikolay Tcholtchev and Ina Kathrin Schieferdecker},
title     = {Sustainable and Reliable Information and Communication Technology for Resilient Smart Cities},
doi       = {https://doi.org/10.3390/smartcities4010009},
pages     = {156--176},
volume    = {4, no. 1},
abstract  = {Information and Communication Technology (ICT) is at the heart of the smart city approach, which constitutes the next level of cities\` and communities\` development across the globe. Thereby, ICT serves as the gluing component enabling different domains to interact with each other and facilitating the management and processing of vast amounts of data and information towards intelligently steering the cities\` infrastructure and processes, engaging the citizens and facilitating new services and applications in various aspects of urban life—e.g., supply chains, mobility, transportation, energy, citizens\` participation, public safety, interactions between citizens and the public administration, water management, parking and many other cases and domains. Hence, given the fundamental role of ICT in cities in the near future, it is of paramount importance to lay the ground for a sustainable and reliable ICT infrastructure, which can enable a city/community to respond in a resilient way to upcoming challenges, whilst increasing the quality of life for its citizens. A structured way of providing and maintaining an open and resilient ICT backbone for a city/community is constituted by the concept of an Open Urban Platform. Therefore, the current article presents the activities and developments necessary to achieve a resilient, standardized smart city, based on Open Urban Platforms (OUP) and the way these serve as a blueprint for each city\/community towards the establishment of a sustainable and resilient ICT backbone.},
file      = {2021/Tcholtchev2021 - Sustainable and Reliable Information and Communication Technology for Resilient Smart Cities.pdf},
journal   = {Smart Cities},
publisher = {Multidisciplinary Digital Publishing Institute},
type      = {article},
year      = {2021},
}
,

[Article 41] "Digitale Innovationen und Technologiesouveränität", Ina Kathrin Schieferdecker and Christoph March, Wirtschaftsdienst pp. 30--35, 2020.Digital innovations are changing our economies and societies. Shaping this transformation in line with core societal values and in a continual exchange with society is a key political challenge. The authors argue that technological sovereignty lies at the heart of this challenge. Rather than the autarchy from foreign technologies, this comprises the ability to define and establish core requirements on and properties of technologies, which safeguard the self-determination of citizens in the digital age. The authors show how an integrated innovation policy, which rests upon European collaboration and combines the promotion of technology development, technology transfer and individuals\ ' competencies, can achieve this goal.,

[Article 40] "Metadata Harvesting and Quality Assurance within Open Urban Platforms", Philipp Lämmel and Benjamin Dittwald and Lina Bruns and Nikolay Tcholtchev and Yuri Glikman and Silke Cuno and Mathias Flügge and Ina Kathrin Schieferdecker, Journal of Data and Information Quality (JDIQ) ACM New York, NY, USA, Vol. 12, no. 4, pp. 1--20, 2020.During the past years, various activities and concepts have shaped and prepared the path for the development of urban environments toward smart cities across the world. One of the initial activities was relating to the opening of vast amounts of data from various public administrations and utility companies within a city in order to create a viable eco-system of urban services and applications. Thereby, the harvested metadata needed to be verified in terms of correctness and a corresponding level of quality had to be assured. In addition, the concept of an Open Urban Platform emerged as an overall solution for smart cities Information Communication Technology (ICT) in the sense that an abstract reference model was established and standardized, providing an overall picture of the ICT structures within a city. Within this article, we use the Open Urban Platform concept as the basics to describe and map our activities within the Open Data domain, focusing mainly on the Open Data prototype for German Open Governmental Data—namely GovData.DE. Thereby, we describe our metadata harvesting and metadata quality assurance approach and discuss on lessons learned, which flow into the definition of metadata quality metrics and have the potential to lead to a corresponding standard within the Deutsches Institut für Normung e.V. (DIN) German national standardization.,

@Article{Laemmel2020,
author    = {Philipp Lämmel and Benjamin Dittwald and Lina Bruns and Nikolay Tcholtchev and Yuri Glikman and Silke Cuno and Mathias Flügge and Ina Kathrin Schieferdecker},
title     = {Metadata Harvesting and Quality Assurance within Open Urban Platforms},
doi       = {https://dl.acm.org/doi/10.1145/3409795},
pages     = {1--20},
volume    = {12, no. 4},
abstract  = {During the past years, various activities and concepts have shaped and prepared the path for the development of urban environments toward smart cities across the world. One of the initial activities was relating to the opening of vast amounts of data from various public administrations and utility companies within a city in order to create a viable eco-system of urban services and applications. Thereby, the harvested metadata needed to be verified in terms of correctness and a corresponding level of quality had to be assured. In addition, the concept of an Open Urban Platform emerged as an overall solution for smart cities Information Communication Technology (ICT) in the sense that an abstract reference model was established and standardized, providing an overall picture of the ICT structures within a city. Within this article, we use the Open Urban Platform concept as the basics to describe and map our activities within the Open Data domain, focusing mainly on the Open Data prototype for German Open Governmental Data—namely GovData.DE. Thereby, we describe our metadata harvesting and metadata quality assurance approach and discuss on lessons learned, which flow into the definition of metadata quality metrics and have the potential to lead to a corresponding standard within the Deutsches Institut für Normung e.V. (DIN) German national standardization.},
file      = {2020/Laemmel2020 - Metadata Harvesting and Quality Assurance within Open Urban Platforms.pdf},
journal   = {Journal of Data and Information Quality (JDIQ)},
publisher = {ACM New York, NY, USA},
type      = {article},
year      = {2020},
}
,

[Article 39] "Edge Computing: A Comprehensive Survey of Current Initiatives and a Roadmap for a Sustainable Edge Computing Development", Andrea Hamm and Alexander Willner and Ina Kathrin Schieferdecker, CoRR Vol. abs/1912.08530, 2019.Edge Computing is a new distributed Cloud Computing paradigm in which computing and storage capabilities are pushed to the topological edge of a network. However, various standards and implementations are promoted by different initiatives. Lead by a reference architecture model for Edge Computing, current initiatives are analyzed by explorative content analysis. Providing two main contributions to the field, we present, first, how current initiatives are characterized, and second, a roadmap for sustainable Edge Computing relating three dimensions of sustainable development to four cross-concerns of Edge Computing. Findings show that most initiatives are internationally organized software development projects; important branches are currently telecom and industrial sectors; most addressed is the network virtualization layer. The roadmap reveals numerous chances and risks of Edge Computing related to sustainable development; such as the use of renewable energies, biases, new business models, increase and decrease of energy consumption, responsiveness, monitoring and traceability.,

[Article 38] "A Taxonomy to Assess and Tailor Risk-based Testing in Recent Testing Standards", Großmann, Jurgen and Felderer, Michael and Viehmann, Johannes and Schieferdecker, Ina, IEEE Software IEEE, 2019.This article provides a taxonomy for risk-based testing that serves as a tool to define, tailor, or assess risk-based testing approaches in general and to instantiate risk-based testing approaches for the current testing standards ISO/IEC/IEEE 29119, ETSI EG and OWASP Security Testing Guide in particular. We demonstrate the usefulness of the taxonomy by applying it to the aforementioned standards as well as to the risk-based testing approaches SmartTesting, RACOMAT, PRISMA and risk-based test case prioritization using fuzzy expert systems. In this setting, the taxonomy is used to systematically identify deviations between the standards\ ' requirements and the individual testing approaches so that we are able to position and compare the testing approaches and discuss their potential for practical application.,

[Article 37] "Data Governance and Sovereignty in Urban Data Spaces Based on Standardized ICT Reference Architectures", Cuno, Silke and Bruns, Lina and Tcholtchev, Nikolay and Lämmel, Philipp and Schieferdecker, Ina, Data Multidisciplinary Digital Publishing Institute, Vol. 4, pp. 16, 2019.

[Article 36] "Urbane Datenplattformen für Kommunen und Städte", Ina Kathrin Schieferdecker, KommunalPraxis / Spezial: Fachzeitschrift für Verwaltung, Organisation und Recht Spezial. KommP spezial pp. 43--45, ISSN: 1617-3759, 2017.Mit urbanen Datenplattformen verbinden viele Kommunen und Städte einerseits ein noch schwer zu fassendes Konzept und andererseits die Möglichkeit für mehr Transparenz, Beteiligung als auch zusätzliche Einnahmen für die Haushaltskasse. Dieser Artikel beschreibt den Stand zu urbanen Datenplattformen und diskutiert das Pros und Cons direkter vs. indirekter Einnahmen aus öffentlichen Daten.,

[Article 35] "Qualität softwarebasierter Systeme im Fokus", Ina Kathrin Schieferdecker, OBJEKTspektrum SIGS DATACOM GmbH, ISSN: 0945-0491, 2016.Gerade mit Blick auf die Digitalisierung in allen Lebens- und Arbeitsbereichen ist Softwarequalität zentraler denn je. Die beiden Antipoden der Freiheit und Sicherheit in einer Gesellschaft werden zunehmend durch softwarebasierte Systeme be- einflusst, gar ermöglicht beziehungsweise verhindert. Dieser Artikel diskutiert Ansätze, wie softwarebasierte Systeme zuverlässiger sicherer und nachvollziehbar entwickelt und betrieben werden können,

[Article 34] "Integriertes Internet-basiertes System für Authentifizierung und Autorisierung", Philipp Lämmel and Nikolay Tcholtchev and Ina Kathrin Schieferdecker, Praxis der Informationsverarbeitung und Kommunikation Walter de Gruyter GmbH, Vol. 38, pp. 43--62, 2015.Die Sicherung von Diensten spielt eine zentrale Rolle bei der Entwicklung einer sicherheitskritischen Infrastruktur. In diesem Artikel wird daher eine Integrierte Komponente zur Sicherung von Cloud Services (ISCS) präsentiert, die den Zugriff auf Dienste in der Cloud gewährleistet. Das bedeutet, dass die ISCS für Zugriffsaspekte wie Authentifizierung, Autorisierung und Registrierung zuständig ist. Für die ISCS wird OAuth und OpenID verwendet, welche mit bestehenden Open Source Bibliotheken implementiert werden. OAuth steht für einen Standard, welcher es Diensten und Applikationen erlaubt, über eine vertrauenswürdige Infrastruktur auf sicherheitskritische Ressourcen in der Cloud zuzugreifen. OpenID ist ein populärer Standard aus der Webcommunity, welcher die domainübergreifende Authentifizierung von Portalnutzern ermöglicht. Die Kombination beider Standards erlaubt das Angebot einer vielfältigen Funktionalität, welche die wesentlichen Bereiche der Sicherung von Cloud Services abdeckt.,

[Article 33] "Framework for distributed autonomic self-healing in fixed IPv6 networks", Nikolay Tcholtchev and Ina Kathrin Schieferdecker, Int. J. Communication Systems Wiley-Blackwell, Vol. 27, pp. 4103--4125, 2014.A main requirement for the Future Internet is to enable self-management behaviors facilitating the network to adapt to changing conditions and self-heal in the face of erroneous states. On the basis of Autonomic Fault-Management principles, this paper proposes a framework consisting of a set of components operating inside the network elements and allowing the devices to collaboratively realize self-healing. In that context, Autonomic Fault-Management is intuitively constituted by the detection of the presence of faulty conditions, followed in turn by the self-diagnosis and identification of the corresponding root causes, and completed consequently by the removal of the identified root causes and their effects. The proposed framework implements a distributed control loop that interacts with the network operations personnel in case the current erroneous state is not resolvable by means of Autonomic Fault-Management. We argue that there are a number of mutual benefits between our proposed framework and the IPv6 protocol suite. This is demonstrated by a case study that illustrates these benefits and shows how the capabilities of IPv6 can be enhanced through the self-healing mechanisms of the proposed framework. Finally, the prototype implementation used for the case study is analyzed in terms of scalability and overhead produced in the network nodes.,

@Article{Tcholtchev2014a,
author    = {Nikolay Tcholtchev and Ina Kathrin Schieferdecker},
title     = {Framework for distributed autonomic self-healing in fixed {IP}v6 networks},
doi       = {10.1002/dac.2601},
number    = {12},
pages     = {4103--4125},
volume    = {27},
abstract  = {A main requirement for the Future Internet is to enable self-management behaviors facilitating the network to adapt to changing conditions and self-heal in the face of erroneous states. On the basis of Autonomic Fault-Management principles, this paper proposes a framework consisting of a set of components operating inside the network elements and allowing the devices to collaboratively realize self-healing. In that context, Autonomic Fault-Management is intuitively constituted by the detection of the presence of faulty conditions, followed in turn by the self-diagnosis and identification of the corresponding root causes, and completed consequently by the removal of the identified root causes and their effects. The proposed framework implements a distributed control loop that interacts with the network operations personnel in case the current erroneous state is not resolvable by means of Autonomic Fault-Management. We argue that there are a number of mutual benefits between our proposed framework and the IPv6 protocol suite. This is demonstrated by a case study that illustrates these benefits and shows how the capabilities of IPv6 can be enhanced through the self-healing mechanisms of the proposed framework. Finally, the prototype implementation used for the case study is analyzed in terms of scalability and overhead produced in the network nodes.},
file      = {2014/Tcholtchev2014a - Framework for Distributed Autonomic Self Healing in Fixed IPv6 Networks.pdf},
journal   = {Int. J. Communication Systems},
keywords  = {self-healing;framework;autonomic fault-management;distributed control loop;Fault-Isolation;Fault-Removal;Fault-Localization},
publisher = {Wiley-Blackwell},
type      = {article},
year      = {2014},
}
,

[Article 32] "Robust architecture for distributed intelligence in an IP-based mobile wide-area surveillance system", Mikko Nieminen and Nikolay Tcholtchev and Ina Kathrin Schieferdecker and Tomi Räty, The Journal of Supercomputing Springer, Vol. 70, pp. 1120--1141, 2014.Modern IP-based wide-area surveillance systems often build on networks of multi-modal, intelligent and mobile sensor units. Detection of complex events is performed on intelligent sensors and fusing input in the sensor units or centralized control room components. The domain of surveillance and public safety creates requirement for robustness and fault-tolerance. This article will present an automated intelligence architecture for mobile surveillance, which provides capabilities for combining on-board event detection in sensor units, centralized decision making on the server side, and automated exploitation of mobile surveillance unit positioning data. This architecture must be very reliable to provide services in the face of challenges such as natural disasters and fire, potentially damaging the infrastructure of the surveillance system. To increase its reliability and robustness, we study the introduction of a self-healing system into the architecture and examine the combined system\textquoterights operation in three case studies.,

[Article 31] "History, status, and recent trends of the testing and test control notation version 3", Jens Grabowski and Ina Kathrin Schieferdecker and Andreas Ulrich, International Journal on Software Tools for Technology Transfer Springer Science and Business Media, Vol. 16, pp. 215--225, 2014.This overview article presents the Testing and Test Control Notation (TTCN-3) success story and serves as an introduction to this Special Section that contains five articles selected from the TTCN-3 user conference in 2011. The article sketches the development of TTCN-3 from its very beginning. It summarizes the current status of the language by reviewing its standardization process, available test suites, tools, and services as well as its training program. In addition, the article puts the articles selected for this Special Section into perspective, with regard to the evolution of TTCN-3 and the testing methodology in general. Last but not least, it discusses indicators for possible future developments of TTCN-3.,

[Article 30] "A taxonomy of risk-based testing", Michael Felderer and Ina Kathrin Schieferdecker, International Journal on Software Tools for Technology Transfer (STTT) Springer Science and Business Media, Vol. 16, pp. 559--568, 2014.Software testing has often to be done under severe pressure due to limited resources and a challenging time schedule facing the demand to assure the fulfillment of the software requirements. In addition, testing should unveil those software defects that harm the mission-critical functions of the software. Risk-based testing uses risk (re-)assessments to steer all phases of the test process to optimize testing efforts and limit risks of the software-based system. Due to its importance and high practical relevance, several risk-based testing approaches were proposed in academia and industry. This paper presents a taxonomy of risk-based testing providing a framework to understand, categorize, assess, and compare risk-based testing approaches to support their selection and tailoring for specific purposes. The taxonomy is aligned with the consideration of risks in all phases of the test process and consists of the top-level classes risk drivers, risk assessment, and risk-based test process. The taxonomy of risk-based testing has been developed by analyzing the work presented in available publications on risk-based testing. Afterwards, it has been applied to the work on risk-based testing presented in this special section of the International Journal on Software Tools for Technology Transfer.,

[Article 29] "Handreichung zur Methodenauswahl. Eine Taxonomie risikobasierter Softwaretests", Michael Felderer and Ina Kathrin Schieferdecker, OBJEKTspektrum SIGS DATACOM GmbH, Vol. Online Issue Testing 2014, ISSN: 0945-0491, 2014.In der Regel muss Software mit limitierten Ressourcen und unter hohem Zeitdruck getestet werden. Trotz dieser erschwerten Bedingungen besteht die Notwendigkeit sicherzustellen, dass die Software den an sie gestellten Anforderungen entspricht. Darüber hinaus müssen mögliche Fehler offengelegt werden, welche die missionskritischen Funktionen der Software gefährden. Dies kann nur mir Softwaretests geleistet werden. Risikobasiertes Testen (engl.: risk-based testing) fußt dabei auf dem Prinzip, dass Risiken bewertet und diese Bewertung kontinuierlich aktualisiert wird.,

[Article 28] "Open Data: Growing Up and Getting Specific", Tim Davies and Marijn Janssen and Ina Kathrin Schieferdecker, eJournal of eDemocracy & Open Government Danube-University Krems, Vol. 6, ISSN: 2075-9517, 2014.Open data has been given a lot of attention in the public. In some situation \textquoteleftopen by default\textquoteright has become established as a core principle, whereas others ~argue about the limited results and the lack of robust studies demonstrating the value, and point to the risk that open data might turn out to be a short lived policy fad. This special issue contains a variety of research papers addressing this topic from different views and providing recent research results on open data. The papers in this issue deepen the understanding of open data and show that the subject of open data is moving from the general to the study of specifics. The~special issue also includes invited papers presented at the first public meeting of the SharePSI project. Share-PSI 2.0 is the European network for the exchange of experience and ideas around implementing open data policies in the public sector.,

[Article 27] "Defining a Formal Semantics for Real-Time Test Specification with TTCN-3", Diana Alina Serbanescu and Ina Kathrin Schieferdecker, International Journal of Software Engineering & Applications Academy and Industry Research Collaboration Center (AIRCC), Vol. 4, pp. 9--28, ISSN: 0975-9018, 2013.Real-time software is usually used in circumstances where safety is important and the margin for errors isnarrow. These kinds of systems have applicability in a broad band of domains as: automotive, avionics, airtraffic control, nuclear power stations, industrial control, etc. As the name denotes, the main feature of \enquotereal-time applications is the criticality of their timeliness. Guaranteeing certain timeliness requiresappropriate testing. As manual testing is burdensome and error prone, automated testing techniques arerequired. Although the importance of having a standard environment for automatic testing is high, thetechnologies in this area are not sufficiently developed. This paper reviews the standardized testdescription language \enquoteTesting and Test Control Notation version 3 (TTCN-3) as a mean for real-time testing and proposes extensions to enable real-time testing with TTCN-3. The aim is to provide a completetesting solution for automatic functional and real-time testing, built around this already standardizedtesting language. The solution includes an environment for designing and running the tests written in theextended language. As a proof of concept, test examples, designed using the enhanced TTCN-3, are mappedto real-time platform implementations and the timeliness of each implementation is analyzed.,

@Article{Serbanescu2013,
author    = {Diana Alina Serbanescu and Ina Kathrin Schieferdecker},
title     = {Defining a Formal Semantics for Real-Time Test Specification with {TTCN}-3},
doi       = {10.5121/ijsea.2013.4102},
issn      = {0975-9018},
number    = {1},
pages     = {9--28},
volume    = {4},
abstract  = {Real-time software is usually used in circumstances where safety is important and the margin for errors isnarrow. These kinds of systems have applicability in a broad band of domains as: automotive, avionics, airtraffic control, nuclear power stations, industrial control, etc. As the name denotes, the main feature of \enquote{real-time} applications is the criticality of their timeliness. Guaranteeing certain timeliness requiresappropriate testing. As manual testing is burdensome and error prone, automated testing techniques arerequired. Although the importance of having a standard environment for automatic testing is high, thetechnologies in this area are not sufficiently developed. This paper reviews the standardized testdescription language \enquote{Testing and Test Control Notation version 3 (TTCN-3)} as a mean for real-time testing and proposes extensions to enable real-time testing with TTCN-3. The aim is to provide a completetesting solution for automatic functional and real-time testing, built around this already standardizedtesting language. The solution includes an environment for designing and running the tests written in theextended language. As a proof of concept, test examples, designed using the enhanced TTCN-3, are mappedto real-time platform implementations and the timeliness of each implementation is analyzed.},
file      = {2013/Serbanescu2013 - Defining a Formal Semantics for Real Time Test Specification with TTCN 3.pdf},
journal   = {International Journal of Software Engineering & Applications},
keywords  = {Real-time Software, Testing, Formal Semantics, Timed Automata, TTCN-3},
publisher = {Academy and Industry Research Collaboration Center ({AIRCC})},
type      = {article},
year      = {2013},
}
,

[Article 26] "DIAMONDS do IT with MODELS: Innovative Security Testing Approaches", Ina Kathrin Schieferdecker and Axel Rennoch and Jürgen Großmann, ERCIM News Vol. 88, 2012.Although security and model-based testing are not new areas of research, they are still under development and highly relevant. In particular, their combination is a challenge for academic work and industrial applications. Some examples of systematic and automated security testing include: security functional testing, model-based fuzzing, risk-oriented testing and the usage of security test pattern.,

[Article 25] "Auf dem Weg in die intelligente Stadt", Ina Kathrin Schieferdecker and Florian Marienfeld and Nicole Schaupke, Urban 2.0 publish industry verlag, Vol. 1, pp. 68--70, 2012.Der freie Zugang zu öffentlichen Verwaltungsdaten - lesbar für Mensch und Maschine - ist ein wichtiger Grundstein intelligenter Städte. Transparente Demokratie, wirtschaftliche Wertschöpfung und effiziente Kommunikation sind die Motivatoren für die Entwicklung urbaner Datenplattformen. Wie ein solches Projekt starten kann, zeigt das Berliner Portal für offene Daten daten.berlin.de.,

[Article 24] "Model-Based Testing", Ina Kathrin Schieferdecker, IEEE Software Institute of Electrical & Electronics Engineers (IEEE), Vol. 29, pp. 14--18, ISSN: 0740-7459, 2012.Model-based testing (MBT) strives to automatically and systematically generate test cases. In this column, Ina Kathrin Schieferdecker introduces MBT technologies and methods.,

[Article 23] "Deutschlands erstes Portal für offene Daten. Da serviert der Bär", Florian Marienfeld and Ina Kathrin Schieferdecker and Jens Klessmann, iX-Magazin für professionelle Informationstechnik Heise, Vol. 2012, pp. 104--107, 2012.

[Article 22] "Testen mit dem UML Testing Profile", Marc-Florian Wendland and Ina Kathrin Schieferdecker and Markus Schacher, OBJEKTspektrum Online Issue Testing SIGS Datacom, Vol. 2011, ISSN: 0945-0491, 2011.Das UML Testing Profile [UTP] ist eine grafische Modellierungssprache zur Definition, Dokumentation, Visualisierung, Implementierung und zum Austausch von modellbasierten Testspezifikationen auf Basis der UML [UML]. Der normative Teil der Spezifikation definiert das native UML-Profil des UTP(1). Die Spezifikation des UTP als UML-Profil ist im Vergleich zu anderen Sprachen der UML-Familie [SysML, MARTE, SoaML] deutlich schlanker und kompakter, erfordert aber gleichzeitig profundes UML-Wissen, um die Potenziale von UTP voll ausschöpfen zu können. Ein Umstand, der die Akzeptanz des UTP bis heute behindert, da nur wenige Tester in den Konzepten der Modellierung im Allgemeinen ausreichend geschult und mit der UML im Besonderen vertraut sind. Dieser Artikel widmet sich daher neben einer kurzen Einführung in das UTP vor allem Fragen seiner Anwendbarkeit. Dabei stehen weniger spezifische Domänen, sondern eher grundsätzliche, testmodellspezifische Fragestellungen im Vordergrund.,

[Article 21] "Modellbasiertes Testen mit Fokus!MBT", Marc-Florian Wendland and Ina Kathrin Schieferdecker and Andreas Hoffmann, OBJEKTspektrum Online Issue Testing SIGS Datacom, Vol. 2010, ISSN: 0945-0491, 2010.Nachdem modellbasierte Entwicklungsmethoden in den letzten Jahren zunehmend Einzug in die Entwicklungsabteilungen gehalten haben, ist das modellbasierte Testen (MBT) verstärkt in den Fokus von Forschung und Industrie gerückt, um die Vorteile der modellbasierten Softwareentwicklung auf den Testprozess zu übertragen. Nach [Utting] steht das klassische Testen immer noch vor denselben Problemen wie vor zehn Jahren: die Systematik bei der Erhebung von Testfällen ist oftmals nicht nachvollziehbar, wodurch sich der Gesamtprozess nicht reproduzieren lässt; die Dokumentation des Testprozesses ist oft mangelhaft oder gar nicht vorhanden, was beim Ausscheiden eines Testers zu signifikantem Verlust von Wissen führt; oft erfährt der Beruf des ,,Testers ' ' generell eine zu geringe Wertschätzung. Nach Uttings Einschätzung (sowie zahlreicher weiterer Experten) ist MBT ein viel versprechender Ansatz, um einige dieser Probleme zu lösen, mindestens jedoch deutlich abzuschwächen.,

[Article 20] "Evolving embedded systems", Gabor Karsai and Fabio Massacci and Leon J. Osterweil and Ina Kathrin Schieferdecker, Computer IEEE, Vol. 43, pp. 34--40, ISSN: 0018-9162, 2010.Embedded systems pose special challenges to system evolution: they 're embedded in a changing environment, often interacting with evolving processes of human organizations, and thus must be verified because of their critical nature. Complicating the situation, the analyses and testing regimens used to verify them must evolve as well. Both software engineering research and industrial practice need to improve to address these problems. While admittedly underemphasized in software engineering education, system evolution is crucial, and the challenges discussed here will be addressed by improving on the initial results presented.,

[Article 19] "Städtische Data Cloud – Offene Daten für neue, innovative Unternehmen in Städten", Nils Barnickel and Wolfgang Both and Matthias Flügge and Ina Kathrin Schieferdecker, IM : die Fachzeitschrift für Information Management und Consulting Imc GmbH, Saarbrücken, Vol. 25, pp. 21--29, ISSN: 0930-5181, 2010.

[Article 18] "Availability Testing for Web Services. A case study on Parlay-X", Alain Vouffo-Feudjio and Ina Kathrin Schieferdecker, Telektronikk Telenor ASA, Vol. 1, Model-Driven Security - Integrating Availability in System Development, ISSN: 0085-7130, 2009.The introduction of open and standardized service delivery platforms (SDPs) is a key element towards the highly anticipated convergence of Internet and telecommunication networks. SDPs provide applications with a middleware in the form of open APIs or Web services to facilitate access to heterogeneous network infrastructure in a common manner. However, new challenges have emerged regarding the robustness of such platforms against potential security threats and other types of failures which could affect service availability. Current approaches in testing Web services target stateless unit-level testing and tend to focus on compliance of SOAP/XML data to the Web service 's WSDL schema. We propose to address service level tests by a pattern-driven test modeling approach which allows a stateful testing on service level and which reduces the development cycle of SOA tests. The approach is built around a UML meta-model embodying test patterns, i.e. recurrent solutions in specifying tests. This allows to specify test requirements based on known vulnerabilities and attack patterns at the same level of abstraction as the services under test, so that the focus can be put on availability aspects. Using examples from Parlay-X Web services we demonstrate how TTCN-3 test scripts can be generated automatically from the abstract test models to facilitate test deployment.,

[Article 17] "Virtual WLAN: Going beyond Virtual Access Points", Hakan Coskun and Ina Kathrin Schieferdecker and Yahya Al-Hazmi, Electronic Communications of the EASST European Association of Software Science and Technology (EASST), Vol. 17, 2009.Wireless nodes equipped with multiple radio interfaces open up new fields of application. Ranging from multi-channel usage in a cell in order to increase the bandwidth to the creation of meshed multi-hop topologies. Using multiple wireless cards demands a large physical space, more energy consumption and as a consequence decreasing in the battery lifetime. Virtualization of the wireless network interface, which means to use a single wireless network interface to connect to more than one network simultaneously, seems to be a promising approach, since it allows us to realize the mentioned scenarios only with one radio interface. In this paper, we want to shed light on the state of the art and want to introduce new approaches to push this field beyond the current status.,

[Article 16] "Testing hybrid control systems with TTCN-3. An overview on continuous TTCN-3", Ina Kathrin Schieferdecker and Jürgen Großmann, International Journal on Software Tools for Technology Transfer Springer Science and Business Media, Vol. 10, pp. 383--400, 2008.TTCN-3 has gained increasing significance in recent years. It was originally developed to fit the needs of testing software-based applications and systems in the telecommunication industry and has shown its applicability to a wide range of other industrial domains in the mean time. TTCN-3 provides platform-independent, universal and powerful concepts to describe tests, especially for discrete, interactive systems. However, TTCN-3 addresses systems with discrete input and output characteristics only. The lack of powerful means that reasonably allow specifying and evaluating continuous data flow makes TTCN-3 sufficient neither for the automotive industry nor for other industries that deal with highly complex software-based control systems. This paper introduces the notion of streams, stream ports and stream templates to TTCN-3. It revises the initial design of continuous TTCN-3, a TTCN-3 extension for testing continuous or hybrid systems [20,21] and demonstrates the applicability for a case study that is typical for testing embedded control systems in the automotive industry.,

[Article 15] "Modellbasiertes Testen", Ina Kathrin Schieferdecker, Objekt Spektrum Vol. 3, pp. 39--45, ISSN: 0945-0491, 2007.

[Article 14] "Distributed functional and load tests for Web services", Ina Kathrin Schieferdecker and George Din and Dimitrios Apostolidis, International Journal on Software Tools for Technology Transfer Springer Science and Business Media, Vol. 7, pp. 351--360, 2005.System-level testing considers functionality and load aspects to check how a system performs for single service requests and scales as the number of service requests accessing/using it increases. This paper presents a flexible test framework including functional, service interaction and load tests. It is generic in terms of being largely independent of the system to be tested. The paper discusses the automation of the test framework with the Testing and Test Control Notation TTCN-3 and also presents an implementation of the test framework using a TTCN-3 toolset. The test framework is exemplified for Web service tests and demonstrates distributed functional and load tests for a specific Web service.,

[Article 13] "Model-Based Built-In Tests", Hans-Gerhard Groß and Ina Kathrin Schieferdecker and George Din, Electr. Notes Theor. Comput. Sci. Elsevier BV, Vol. 111, pp. 161--182, 2005.Assembling new software systems from prefabricated components as an attractive alternative to traditional software development practices is more and more investigated. Component technologies like CCM. Net or EJB are accompanied by model-based approaches like MDA. However, still the emphasis is rather on system design and development and not on system validation and testing. The expected reductions in development time and effort will only arise if separately developed components can be made to work effectively together with minimal effort. Lengthy and costly in-situ verification and acceptance testing directly undermines the benefits of heterogeneous components and late system integration. This paper extends contract-based built-in tests where components are equipped with the ability to check their execution environment at run-time with approaches to derive built-in tests from system models, represent them on model level, and to generate executable tests from these test models. This model-based approach increases the automation level in generating and realizing built-in tests and therefore also increases the quality of and reduces needed resources for developing built-in tests.,

[Article 12] "Die Testing and Test Control Notation TTCN-3 - Erweitertes Abstrakt", Ina Kathrin Schieferdecker, GI, Vol. 24, ISSN: 0720-8928, 2004.Im September 2000 wurde TTCN-3 durch ETSI - dem Europäischen Telekommunikationsstandardisierungs-institut - erstmals der öffentlichkeit vorgestellt. Seither hat sich TTCN-3 sowohl im Anwendungs- als auch im Werkzeugbereich etabliert. Eine Vielzahl von Nutzern setzen TTCN-3 für die Entwicklung von Testlösungen für funktionale, Konformitäts-, Interoperabilitäts-, Skalierungs-, Lasttests, etc. für Protokolle, Dienste, objekt- und komponentenbasierte Systeme, für SmartCards, im Automobilbereich, etc. ein. Eine Palette von Werkzeugen verschiedener Anbieter steht dem Nutzer zur Verfügung. Eine Reihe von standardisierten Test Suiten in TTCN-3 wie für SIP, SCTP und IPv6 oder aber Test Frameworks wie für CORBA basierte Systeme und Web Services können unmittelbar genutzt werden. auch der Standard hat sich weiterentwickelt. Nach der Vorstellung der ersten Version von TTCN-3 (im Wesentlichen bestehend aus der Core Language und dem tabellarischen Präsentationsformat) sind als weitere Bestandteile die operationale Semantik, das graphische Präsentationsformat (GFT), die Ausführungsschnittstellen zur Anbindung an das zu testende System (TRI) und zur Anbindung an die Testplattform (TCI) als auch Einbettungen externer Typsysteme hinzugekommen. Damit steht mittlerweile ein stabiler und umfassender Ansatz zur abstrakten Testspezifikation- und -implementierung zur Verfügung. Ein kontinuierlicher Wartungsprozess für TTCN-3 bei ETSI ermöglicht die Korrektur, Verbesserung und den weiteren Ausbau von TTCN-3 entsprechend der Nutzererfordernisse. In diesem Beitrag wird auf wesentliche Elemente und Konzepte von TTCN-3 eingegangen. Darüber hinaus wird kurz auf änderungen in TTCN-3 eingegangen die in die aktuelle Version eingeflossen bzw. für die nächste Version in Planung sind.,

@Article{Schieferdecker2004,
author    = {Ina Kathrin Schieferdecker},
title     = {Die Testing and Test Control Notation {TTCN-3} - Erweitertes Abstrakt},
issn      = {0720-8928},
url       = {http://pi.informatik.uni-siegen.de/stt/24_3/index.html},
volume    = {24},
number    = {3},
abstract  = {Im September 2000 wurde TTCN-3 durch ETSI - dem Europäischen Telekommunikationsstandardisierungs-institut - erstmals der öffentlichkeit vorgestellt. Seither hat sich TTCN-3 sowohl im Anwendungs- als auch im Werkzeugbereich etabliert. Eine Vielzahl von Nutzern setzen TTCN-3 für die Entwicklung von Testlösungen für funktionale, Konformitäts-, Interoperabilitäts-, Skalierungs-, Lasttests, etc. für Protokolle, Dienste, objekt- und komponentenbasierte Systeme, für SmartCards, im Automobilbereich, etc. ein. Eine Palette von Werkzeugen verschiedener Anbieter steht dem Nutzer zur Verfügung. Eine Reihe von standardisierten Test Suiten in TTCN-3 wie für SIP, SCTP und IPv6 oder aber Test Frameworks wie für CORBA basierte Systeme und Web Services können unmittelbar genutzt werden.
Doch auch der Standard hat sich weiterentwickelt. Nach der Vorstellung der ersten Version von TTCN-3 (im Wesentlichen bestehend aus der Core Language und dem tabellarischen Präsentationsformat) sind als weitere Bestandteile die operationale Semantik, das graphische Präsentationsformat (GFT), die Ausführungsschnittstellen zur Anbindung an das zu testende System (TRI) und zur Anbindung an die Testplattform (TCI) als auch Einbettungen externer Typsysteme hinzugekommen. Damit steht mittlerweile ein stabiler und umfassender Ansatz zur abstrakten Testspezifikation- und -implementierung zur Verfügung. Ein kontinuierlicher Wartungsprozess für TTCN-3 bei ETSI ermöglicht die Korrektur, Verbesserung und den weiteren Ausbau von TTCN-3 entsprechend der Nutzererfordernisse.
In diesem Beitrag wird auf wesentliche Elemente und Konzepte von TTCN-3 eingegangen. Darüber hinaus wird kurz auf änderungen in TTCN-3 eingegangen, die in die aktuelle Version eingeflossen bzw. für die nächste Version in Planung sind.},
booktitle = {Softwaretechnik-Trends, FG TAV: Bericht und Beiträge vom FG-Treffen am 17. und 18. Juni 2004 in Berlin},
file      = {2004/Schieferdecker2004 - Die Testing and Test Control Notation TTCN 3 Erweitertes Abstrakt.pdf},
publisher = {GI},
type      = {article},
year      = {2004},
}
,

[Article 11] "Tool Supported Test Frameworks in TTCN-3", Ina Kathrin Schieferdecker and Theofanis Vassiliou-Gioles, Electr. Notes Theor. Comput. Sci. Elsevier BV, Vol. 80, pp. 251--260, 2003.This paper presents the concept of test frameworks and the specification and implementation of test frameworks in TTCN-3 being the Testing and Test Control Notation for black-box and grey-box tests of reactive systems. Test frameworks enable an easy reuse, extension and customization of predefined test patterns for test data, configuration, behavior and control. Test patterns can be combined and customized to yield additional tests for further system features, changed system characteristics as well as for additional test requirements. The implementation of test frameworks and the execution of resulting tests are supported by a TTCN-3 tool chain providing means for graphical test specification, compilation, management and execution. A GPRS example demonstrates the practical application of test frameworks using a set of TTCN-3-based tools.,

[Article 10] "Das UML Testing Profile - Erweitertes Abstrakt", Ina Kathrin Schieferdecker, Softwaretechnik-Trends, FG TAV: Bericht und Beiträge vom FG-Treffen am 16. und 17. Oktober 2003 in Erlangen GI, Vol. 23, ISSN: 0720-8928, 2003.Obwohl Testen oftmals bis zu 50% des gesamten Entwicklungsaufwands erfordert, ist es bislang nicht bzw. wenig in die einzelnen Systementwicklungsphasen integriert. Das liegt u.a. daran, dass Architekten, Entwickler und Tester verschiedene Sprachen und Werkzeuge nutzen, so dass die Interaktion untereinander und der Austausch von Informationen und Dokumenten erschwert werden. Das UML 2.0 Testing Profile (U2TP [1][2]) schließt diese Lücke, indem Konzepte und Wege aufgezeigt werden, wie UML auch für den Testentwurf und Testspezifikationen eingesetzt werden kann. Das ermöglicht die Wiederverwendung von Systemdokumenten für die Testentwicklung und erlaubt so eine frühzeitige und kontinuierliche Verzahnung von Systementwicklungs- und Testschritten. U2TP ist die Grundlage für modell-basiertes Testen im Kontext von UML.,

[Article 9] "An introduction to the testing and test control notation (TTCN-3)", Jens Grabowski and Dieter Hogrefe and Gyorgy Rethy and Ina Kathrin Schieferdecker and Anthony Wiles and Colin Willcock, Computer Networks Elsevier, Vol. 42, pp. 375--403, 2003.The testing and test control notation (TTCN-3) is a new test specification and test implementation language that supports all kinds of black-box testing of distributed systems. TTCN-3 was developed in the years 1999 to 2002 at the European Telecommunications Standards Institute (ETSI), as a redesign of the tree and tabular combined notation (TTCN) standard (ITU-T Rec. X.292). TTCN-3 is built from a textual core language that provides interfaces to different data description languages and the possibility of different presentation formats. This makes TTCN-3 quite universal and application independent. TTCN-3 is being published as the ITU-T Rec. Z.140 series. This paper provides an introduction to TTCN-3. This includes an overall view of the TTCN-3 core language, a description of the existing presentation formats, an explanation of the implementation of TTCN-3-based test systems and a discussion about the current usage and the future of the language. The authors all participated in the work within ETSI.,

[Article 8] "Sicher wie ein Telefon. TTCN-3: Eine neue Testmethode für IT-Systeme", Theofanis Vassiliou-Gioles, Ina Kathrin Schieferdecker, iX-Magazin für professionelle Informationstechnik Vol. 11, pp. 56--61, 2001.

[Article 7] "Conformance Testing with TTCN", Ina Kathrin Schieferdecker and Jens Grabowski, Telektronikk Vol. 4, pp. 85--95, ISSN: 0085-7130, 2000.The Tree and Tabular Combined Notation (TTCN) is a semi-formal notation which supports the specification of abstract test suites for protocol conformance testing. An abstract test suite is a collection of abstract test cases1). As indicated by the name TTCN, test cases are described in the form of behavior trees and different kinds of tables are used for the graphical representation of test suites.,

[Article 6] "Case Study in Protocol Validation: Validating an ATM Signalling Protocol", Theofanis Vassiliou-Gioles and Ina Kathrin Schieferdecker, Formal Aspects of Computing Springer Science and Business Media, Vol. 10, pp. 483--508, 1998.This paper discusses validation techniques for communication protocols and analyzes the practical use of selected validation techniques in an automated manner. A case study on validating the ATM (Asynchronous Transfer Mode) Signalling Protocol as specified by ITU-T in Q.2931 is used for this analysis. Different error classes are identified and valiyeard. An assessment of the different validation techniques in terms of effort and quality of results is given. As a result of the case study, an evaluation of the Q.2931 SDL specification completes the paper.,

[Article 5] "Eine Leistungstestmethodik und ihre Anwendungen auf ATM Protokolle", Ina Kathrin Schieferdecker and Axel Rennoch and Mang Li and Bernard Stepien, Praxis der Informationsverarbeitung und Kommunikation Vol. 21, pp. 136--139, 1998.Die Vergleichbarkeit von Zeit- und Kapazitätsmessungen bei Datenübertragungen erfordert eine eindeutige Beschreibung der durchzuführenden Experimente. In diesem Artikel stellen wir die Grundelemente für die Spezifikation solcher Leistungstests vor. Unser Ansatz basiert auf einer Erweiterung der bislang für Kommunikationsprotokolle einzigen standardisierten Testbeschreibungssprache TTCN. Wir zeigen, wie diese Erweiterung für die Definition und Implementierung verschiedener Leistungstests am AAL5 Protokoll eingesetzt wurde und diskutieren die beobachteten Meßergebnisse.,

[Article 4] "Verifying Performance Oriented Properties of TIS Specifications", Ina Kathrin Schieferdecker, Syst. Anal. Model. Simul. Gordon and Breach Science Publishers, Inc., Vol. 13, pp. 139--162, Newark, NJ, USA, ISSN: 0232-9298, 1993.

[Article 3] "Eine SDL-Maschine für Entwurf und Analyse von Spezifikationen verteilter Systeme", Klaus Ahrens and Joachim Fischer and Eckhardt Holz and Ina Kathrin Schieferdecker, it - Informationstechnik Walter de Gruyter GmbH, Vol. 32, pp. 400--409, 1990.

[Article 2] "A taxonomy of risk-based testing", Michael Felderer and Ina Kathrin Schieferdecker, CoRR Vol. abs/1912.11519, 2019.Software testing has often to be done under severe pressure due to limited resources and a challenging time schedule facing the demand to assure the fulfillment of the software requirements. In addition, testing should unveil those software defects that harm the mission-critical functions of the software. Risk-based testing uses risk (re-)assessments to steer all phases of the test process in order to optimize testing efforts and limit risks of the software-based system. Due to its importance and high practical relevance several risk-based testing approaches were proposed in academia and industry. This paper presents a taxonomy of risk-based testing providing a framework to understand, categorize, assess, and compare risk-based testing approaches to support their selection and tailoring for specific purposes. The taxonomy is aligned with the consideration of risks in all phases of the test process and consists of the top-level classes risk drivers, risk assessment, and risk-based test process. The taxonomy of risk-based testing has been developed by analyzing the work presented in available publications on risk-based testing. Afterwards, it has been applied to the work on risk-based testing presented in this special section of the International Journal on Software Tools for Technology Transfer.,

[Article 1] "Technological Sovereignty as Ability, Not Autarky", Christoph March and Ina Schieferdecker, International Studies Review Vol. 25, pp. viad012, ISSN: 1521-9488, 2023.Aspirations toward technological sovereignty increasingly pervade the political debate. Yet, an ambiguous definition leaves the exact goal of those aspirations and the policies to fulfil them unclear. This opens the door for vested interests who benefit from misinterpreting the goal, e.g., as a strive for autarky, nationalism, and the rollback of globalization. To close this gap, we show how certain key technologies challenge state sovereignty as conventionally understood. By interpreting technological sovereignty in this light, we develop a competence-based definition, which puts innovation policy at the core of fulfilling sovereignty aspirations. Moreover, we establish the important role of international cooperation and trade to enhance technological sovereignty understood as ability. Hence, autarky would be detrimental rather than helpful to technological sovereignty. Two case studies illustrate how innovation policy helps to achieve technological sovereignty.,

[Chapter 29] "2.3 Urbane Datenräume und digitale Gemeingüter – Instrumente für Open Government und mehr", Ina Kathrin Schieferdecker, Praxishandbuch Forschungsdatenmanagement De Gruyter Saur, pp. 175--196, 2021.In den letzten Jahren gab es verschiedenste Ansätze zur Weiterentwicklung von Städten und Gemeinden mittels digitaler Angebote und digitalisierter Infrastrukturen. Egal, ob es dabei um neue Beteiligungs-, ÖPNV- oder Bildungsangebote geht, spielen öffentlich zur Verfügung gestellte Daten eine zentrale Rolle. So betraf eine der ersten Aktivitäten weltweit die Öffnung gro\ 'sser Datenmengen nach Open-Data-Prinzipien von verschiedenen öffentlichen Verwaltungen und Versorgungsunternehmen innerhalb einer Stadt, um ein funktionierendes Ökosystem für städtische Dienste und Anwendungen rund um diese Daten zu schaffen. Dabei wurde schnell deutlich, dass offene Daten der öffentlichen Hand zwar ein wichtiges, aber nicht das einzige Datenangebot in einem solchen Ökosystem sein sollten, sondern ein breites Spektrum an Daten verschiedenster Anbieter und somit unter verschiedenen Nutzungskonditionen benötigt werden, um attraktive datengetriebene Angebote zu ermöglichen. Dabei werden Teile dieser Datenangebote als Gemeingüter benötigt, so dass jede und jeder an der Nutzung und Weiterverarbeitung partizipieren kann. Zudem wurde klar, dass die bereitgestellten Daten und Metadaten auf ihre Qualität zu überprüfen und ein entsprechendes Qualitätsniveau zu gewährleisten ist. Zudem entstand das Konzept einer offenen urbanen Plattform als Gesamtansatz für eine öffentlich-rechtliche Informations- und Kommunikationsinfrastruktur – als Architektur für eine digitale Infrastruktur für Informationsangebote und -dienste im öffentlichen Raum und in öffentlicher Verantwortung. Dieser Artikel bietet einen Überblick zu Daten und Metadaten im Sinne von Gemeingütern, zu ihrer Verankerung in einer öffentlich-rechtlichen Informations- und Kommunikationsinfrastruktur und zu verfügbaren Software-Komponenten und Informationen, also zu Ansatzpunkten für Interessierte.,

@inbook{Schieferdecker2021,
author = {Ina Kathrin Schieferdecker},
editor = {Markus Putnings and Heike Neuroth and Janna Neumann},
doi = {doi10.1515/9783110657807-010},
url = {https://doi.org/10.1515/9783110657807-010},
title = {2.3 Urbane Datenräume und digitale Gemeingüter – Instrumente für Open Government und mehr},
booktitle = {Praxishandbuch Forschungsdatenmanagement},
year = {2021},
publisher = {De Gruyter Saur},
pages = {175--196},
abstract = {In den letzten Jahren gab es verschiedenste Ansätze zur Weiterentwicklung von Städten und Gemeinden mittels digitaler Angebote und digitalisierter Infrastrukturen. Egal, ob es dabei um neue Beteiligungs-, ÖPNV- oder Bildungsangebote geht, spielen öffentlich zur Verfügung gestellte Daten eine zentrale Rolle. So betraf eine der ersten Aktivitäten weltweit die Öffnung gro{\"ss}er Datenmengen nach Open-Data-Prinzipien von verschiedenen öffentlichen Verwaltungen und Versorgungsunternehmen innerhalb einer Stadt, um ein funktionierendes Ökosystem für städtische Dienste und Anwendungen rund um diese Daten zu schaffen. Dabei wurde schnell deutlich, dass offene Daten der öffentlichen Hand zwar ein wichtiges, aber nicht das einzige Datenangebot in einem solchen Ökosystem sein sollten, sondern ein breites Spektrum an Daten verschiedenster Anbieter und somit unter verschiedenen Nutzungskonditionen benötigt werden, um attraktive datengetriebene Angebote zu ermöglichen. Dabei werden Teile dieser Datenangebote als Gemeingüter benötigt, so dass jede und jeder an der Nutzung und Weiterverarbeitung partizipieren kann. Zudem wurde klar, dass die bereitgestellten Daten und Metadaten auf ihre Qualität zu überprüfen und ein entsprechendes Qualitätsniveau zu gewährleisten ist. Zudem entstand das Konzept einer offenen urbanen Plattform als Gesamtansatz für eine öffentlich-rechtliche Informations- und Kommunikationsinfrastruktur – als Architektur für eine digitale Infrastruktur für Informationsangebote und -dienste im öffentlichen Raum und in öffentlicher Verantwortung. Dieser Artikel bietet einen Überblick zu Daten und Metadaten im Sinne von Gemeingütern, zu ihrer Verankerung in einer öffentlich-rechtlichen Informations- und Kommunikationsinfrastruktur und zu verfügbaren Software-Komponenten und Informationen, also zu Ansatzpunkten für Interessierte.},
file     = {2021/Schieferdecker2021 - 2.3 Urbane Datenraume und digitale Gemeinguter_ Instrumente fur Open Government und mehr.pdf},
type      = {inbook},
}
,

[Chapter 28] "How to Safeguard AI", Ina Kathrin Schieferdecker and Jürgen Großmann and Martin A. Schneider, The Democratization of Artificial Intelligence. Net Politics in the Era of Learning Algorithms transcript Verlag, ISBN: 978-3-8376-4719-8, 2019.

[Chapter 27] "Responsible Software Engineering", Ina Kathrin Schieferdecker, The Future of Software Quality Assurance Springer International Publishing, pp. 137--146, Cham, ISBN: 978-3-030-29509-7, 2020.Software trustworthiness today is more about acceptance than technical quality; software and its features must be comprehensible and explainable. Since software becomes more and more a public good, software quality becomes a critical concern for human society. And insofar artificial intelligence (AI) has become part of our daily lives---naturally we use language assistants or automatic translation programs---software quality is evolving and has to take into account usability, transparency as well as safety and security. Indeed, a majority worldwide rejects currently the use of AI in schools, in court or in the army because it is afraid of data misuse or heteronomy. Insofar, software and its applications can succeed only if people trust them. The initiatives towards ' 'responsible software engineering ' ' address these concerns. This publication is about raising awareness for responsible software engineering.,

[Chapter 26] "Vertrauen in KI-basierte Systeme schaffen", Ina Kathrin Schieferdecker, (Un)ergründlich. Künstliche Intelligenz als Ordnungsstifterin ISBN: 978-3-948582-00-5, 2019.

[Chapter 25] "Advanced Software Engineering", Schieferdecker, Ina and Ritter, Tom, Digital Transformation Springer Berlin Heidelberg, pp. 335--352, Berlin, Heidelberg, ISBN: 978-3-662-58133-9, 2019.

[Chapter 24] "Die digitalisierte Nachhaltigkeitsgesellschaft – Chancen und Risiken des Digitalen Zeitalters", Ina Kathrin Schieferdecker and Dirk Messner, Soziale Marktwirtschaft ökologisch erneuern. Ökologische Innovationen, wirtschaftliche Chancen und soziale Teilhabe in Zeiten des Klimawandels Konrad-Adenauer-Stiftung e.V., ISBN: 978-3-95721-565-9, 2019.Die Digitalisierung öffnet die Tür zu einem neuen Zeitalter menschlicher Zivilisation. Große Gestaltungsaufgaben entstehen, um den digitalen Wandel mit der notwendigen Transformation zur Nachhaltigkeit, also der Entwicklung von Wohlstand, Sicherheit und Demokratie für bald 10 Milliarden Menschen in den Grenzen des Erdsystems, zusammenzuführen. Die Transformation zur Nachhaltigkeit muss bis etwa Mitte dieses Jahrhunderts gelingen, um Kipppunkte im Erdsystem – wie das Abschmelzen des Grönlandeisschildes, den Kollaps des Monsunsystems oder des Amazonasregenwaldgebietes – zu vermeiden. Es geht darum, Wohlstandssteigerung und die sozio-ökonomische Entwicklung in den kommenden drei bis vier Dekaden von Treibhausgasemissionen zu entkoppeln, Ressourcen in wirtschaftliche Kreisläufe zu führen und den Druck auf die Ökosysteme radikal zu reduzieren. Mit der Agenda 2030 und ihren umfassenden Nachhaltigkeitszielen geht es zudem um die Abschaffung der extremen Armut und die Reduzierung von Ungleichheiten, die soziale Kohäsion und Stabilität vieler Gesellschaften gefährden. Kann die Digitalisierung helfen, diese Menschheitsaufgaben zu bewältigen? Dazu müssen digitale Innovationen mit der Transformation zur Nachhaltigkeit zusammengeführt werden. Darauf sind Politik, Wirtschaft und Gesellschaft bisher nicht eingestellt.,

@InBook{Schieferdecker2019e,
author    = {Ina Kathrin Schieferdecker and Dirk Messner},
booktitle = {Soziale Marktwirtschaft ökologisch erneuern. Ökologische Innovationen, wirtschaftliche Chancen und soziale Teilhabe in Zeiten des Klimawandels},
title     = {Die digitalisierte Nachhaltigkeitsgesellschaft – Chancen und Risiken des Digitalen Zeitalters},
editor    = {Ralf Fücks and Thomas Köhler},
isbn      = {978-3-95721-565-9},
publisher = {Konrad-Adenauer-Stiftung e.V.},
url       = {https://www.kas.de/documents/252038/4521287/Soziale+Marktwirtschaft+%C3%B6kologisch+erneuern+(PDF).pdf/26dcd9a8-ad25-3b3e-1da3-73e0d73d9f7c?version=1.0&t=1575542234868},
abstract  = {Die Digitalisierung öffnet die Tür zu einem neuen Zeitalter menschlicher Zivilisation. Große Gestaltungsaufgaben entstehen, um den digitalen Wandel mit der notwendigen Transformation zur Nachhaltigkeit, also der Entwicklung von Wohlstand, Sicherheit und Demokratie für bald 10 Milliarden Menschen in den Grenzen des Erdsystems, zusammenzuführen. Die Transformation zur Nachhaltigkeit muss bis etwa Mitte dieses Jahrhunderts gelingen, um Kipppunkte im Erdsystem – wie das Abschmelzen des Grönlandeisschildes, den Kollaps des Monsunsystems oder des Amazonasregenwaldgebietes – zu vermeiden. Es geht darum, Wohlstandssteigerung und die sozio-ökonomische Entwicklung in den kommenden drei bis vier Dekaden von Treibhausgasemissionen zu entkoppeln, Ressourcen in wirtschaftliche Kreisläufe zu führen und den Druck auf die Ökosysteme radikal zu reduzieren. Mit der Agenda 2030 und ihren umfassenden Nachhaltigkeitszielen geht es zudem um die Abschaffung der extremen Armut und die Reduzierung von Ungleichheiten, die soziale Kohäsion und Stabilität vieler Gesellschaften gefährden. Kann die Digitalisierung helfen, diese Menschheitsaufgaben zu bewältigen? Dazu müssen digitale Innovationen mit der Transformation zur Nachhaltigkeit zusammengeführt werden. Darauf sind Politik, Wirtschaft und Gesellschaft bisher nicht eingestellt.},
file      = {2019/Schieferdecker2019e - Die Digitalisierte Nachhaltigkeitsgesellschaft – Chancen Und Risiken Des Digitalen Zeitalters.pdf},
type      = {inbook},
year      = {2019},
}
,

[Chapter 23] "Die digitalisierte Nachhaltigkeitsgesellschaft", Ina Kathrin Schieferdecker and Dirk Messner, Deutschland und die Welt 2030: Was sich verändert und wie wir handeln müssen Econ Verlag, ISBN: 9783430202718, 2018.

[Chapter 22] "Advanced Software Engineering", Schieferdecker, Ina and Ritter, Tom, Digitalisierung: Schlüsseltechnologien für Wirtschaft und Gesellschaft Springer Berlin Heidelberg, pp. 365--383, Berlin, Heidelberg, ISBN: 978-3-662-55890-4, 2018.Software rules them all! In jeder Branche spielt Software mittlerweile eine dominante Rolle für Innovationen technischer oder geschäftlicher Art, für die Verbesserung der funktionalen Sicherheit oder aber für die Erhöhung des Komforts. Gleichwohl wird Software nicht immer mit der nötigen Professionalität entworfen, (weiter-)entwickelt und/oder abgesichert - und gibt es unnötige Brüche in den Entwicklungs-, Wartungs- und Betriebsketten, die zuverlässigen, sicheren, performanten und vertrauenswürdigen Systemen zuwiderlaufen. Aktuelle Umfragen wie im jährlichen World Quality Report sprechen hier eine deutliche Sprache, welche direkt mit den bekannt gewordenen von Software verursachten Ausfällen großer, wichtiger und/oder sicherheitskritischer Infrastrukturen korreliert. So ist es höchste Zeit, die Softwareentwicklung den Experten zu überlassen und den Raum für die Nutzung aktueller Methoden und Technologien zuzulassen. Dieser Artikel wirft einen Blick auf aktuelle und zukünftige Software-Engineering- Ansätze, die Sie auch und insbesondere im Fraunhofer-Portfolio finden.,

[Chapter 21] "Chapter 1: Recent Advances in Classifying Risk-Based Testing Approaches", Michael Felderer and Jürgen Großmann and Ina Kathrin Schieferdecker, Analytic Methods in Systems and Software Testing John Wiley & Sons, pp. 3--27, ISBN: 1119271509, 2018.In order to optimize the usage of testing efforts and to assess risks of software-based systems, risk-based testing uses risk (re-)assessments to steer all phases in a test process. Several risk-based testing approaches have been proposed in academia and/or applied in industry, so that the determination of principal concepts and methods in risk-based testing is needed to enable a comparison of the weaknesses and strengths of different risk-based testing approaches. In this chapter we provide an (updated)taxonomy of risk-based testing aligned with risk considerations in all phases of a test process. It consists of three top-level classes, i.e., contextual setup, risk assessment, and risk-based test strategy. This taxonomy provides a framework to understand, categorize, assess and compare risk-based testing approaches to support their selection and tailoring for specific purposes. Furthermore, we position four recent risk-based testing approaches into the taxonomy in order to demonstrate its application and alignment with available risk-based testing approaches.,

[Chapter 20] "Urbane Datenplattformen in der Cloud", Faruk Catal and Nikolay Tcholtchev and Philipp Lämmel and Ina Kathrin Schieferdecker, Mensch und Technik in der Smart City. Die menschliche Smart City ISBN: 978-3-410-27680-7, 2018.Mit urbanen Datenplattformen verbinden viele Kommunen und Städte einerseits ein noch schwer zu fassendes Konzept und andererseits die Möglichkeit für mehr Innovation, Transparenz, Beteiligung als auch zusätzliche Einnahmen für die Haushaltskasse. Dieser Artikel gibt einen Einblick zum Stand urbaner Datenplattformen und diskutiert das Pros und Cons direkter vs. indirekter Einnahmen aus öffentlichen Daten.,

[Chapter 19] "Quality Engineering für das Internet der Dinge", Ina Kathrin Schieferdecker and Axel Rennoch and Michael Wagner, Test, Analyse und Verifikation von Software –- gestern, heute, morgen Heidelberg dpunkt.verlag, pp. 125--138, ISBN: 978-3-86490-470-7, 2017.Vom Internet der Dinge (Internet of Things, kurz IoT) werden umfassende Weiterentwicklungen und Umbrüche erwartet, wie sie entlang der Verbreitung des »traditionellen« Internets in Kombination mit der Mobilkommunikation geschehen sind. So durchdringt das IoT alle Arbeits- und Lebensbereiche und liefert neue Ansätze für das Monitoring und die Steuerung der physischen Welt inklusive sowohl geschäftskritischer als auch sicherheitskritischer Systeme und Prozesse wie Energie- oder Verkehrsnetze. Daher sind die Qualitätsanforderungen an IoT-Komponenten und -Lösungen sehr hoch und müssen durch moderne Methoden zur Konstruktion und Absicherung der Qualitäten adressiert werden. Dieser Artikel gibt einen Überblick zum Verständnis von IoT und skizziert Qualitätsanforderungen und grundlegende Testansätze. Abschließend wird auf den beim ASQF und GTB in Entwicklung befindlichen Lehrplan zum IoT-Quality Engineering (IoT-QE) eingegangen.,

[Chapter 18] "Die Digitalisierung der Stadt", Ina Kathrin Schieferdecker, Research Day 2015 - Stadt der Zukunft, Tagungsband der Beuth Hochschule für Technik Berlin, 21.04.2015 Mensch und Buch Verlag, pp. 8--9, ISBN: 978-3-86387-595-4, 2015.

[Chapter 17] "The Testing and Test Control Notation TTCN-3 and its Use", Ina Kathrin Schieferdecker and Alain-Georges Vouffo-Feudjio, Formal Methods for Industrial Critical Systems: A Survey of Applications Wiley-Blackwell, pp. 205--233, 2013.The testing and test control Notation TTCN-3 language was created due to the imperative necessity to have universally understood language syntax able to describe test behavior specifications. TTCN-3 enables systematic, specification-based testing for various kinds of tests including, for example, conformance, interoperability, regression, robustness, performance, and scalability testing. A test system can communicate with a system under test (SUT) synchronously or asynchronously. In this chapter, a small test specification in TTCN-3 is given in order to give an insight into this technology. The semantics of TTCN-3 is defined by an operational semantics, which defines the meaning of TTCN-3 behaviors in an intuitive and unambiguous manner. The chapter also describes different case studies that demonstrate the application of the TTCN-3 to test various target systems.,

[Chapter 16] "Chapter 6. ICT for Smart Cities: Innovative Solutions in the Public Space", Ina Kathrin Schieferdecker and Walter Mattauch, Computation for Humanity. Information Technology to Advance Society CRC Press, pp. 127--154, ISBN: 978-1-4398-8327-3, 2013.Research and development for \enquotesmart cities has been ongoing for almost a decade now. However, only now its rise can be seen in close relation to the newest developments in Information and Communication Technologies (ICTs) for mobile broadband communication, sensor technologies, machine-to-machine (M2M) communication, and efficient data and computing resources.,

[Chapter 15] "Smart City als Vision oder Mythos", Ina Kathrin Schieferdecker, Urbane Lebenswelten. Ideen für die Stadt der Zukunft Verlag noir, Wien, ISBN: 978-3-9503255-2-2, 2012.

[Chapter 14] "Modellbasiertes Testen", Software Quality Engineering - Ein Leitfaden für bessere Software-Qualität (3. Auflage) Carl Hanser Verlag, ISBN: 978-3446404052, 2011.

[Chapter 13] "A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains", Justyna Zander and Ina Kathrin Schieferdecker, Model-Based Testing for Embedded Systems Informa UK Limited, 2011.This chapter provides a taxonomy of Model-based Testing (MBT) based on the approaches that are presented in this book as well as in the related literature. The techniques for testing are categorized using a number of dimensions to familiarize the reader with the terminology used in the chapters that follow.,

[Chapter 12] "Model-Based X-in-the-Loop Testing", Jürgen Großmann and Philip Makedonski and Hans-Werner Wiesbrock and Jaroslav Svacina and Ina Kathrin Schieferdecker and Jens Grabowski, (Computational Analysis, Synthesis, and Design of Dynamic Systems), CRC Press, pp. 299--337, 2011.

[Chapter 11] "Model-Based Analysis and Development of Dependable Systems", Christian Buckl and Alois Knoll and Ina Kathrin Schieferdecker and Justyna Zander, Model-Based Engineering of Embedded Real-Time Systems Springer, pp. 271--293, ISBN: 978-3-642-16276-3, 2011.The term dependability was defined in the 1980s to encompass aspects like fault tolerance and system reliability. According to IFIP, it is defined as the trustworthiness of a computing system which allows reliance to be justifiably placed on the service it delivers. Hence, dependability is the capability of a system to successfully and safely complete its mission. This chapter concentrates on safety and reliability aspects. It starts with a review of the basic terminology including, for example, fault, failure, availability, and integrity. In the following, a mathematical model of fault-tolerant systems is defined. It is used in the further sections for comparison with different techniques for safety and reliability analysis. Also selected currently available model-based development tools are reviewed. A summary and identification of future research challenges conclude the chapter.,

[Chapter 10] "Model-Based Testing: Approaches and Notations", Ina Kathrin Schieferdecker and Axel Rennoch and Alain Vouffo-Feudjio, Encyclopedia of Software Engineering Auerbach Publications, pp. 571--576, 2010.Model-based testing (MBT) constitutes a number of technologies, methods, and approaches with the aim of improving the quality, efficiency, and effectiveness of test processes, tasks, and artifacts. The entry investigates MBT approaches and the languages and notations used. It is the successor entry to model-based testing by the same authors.,

[Chapter 9] "Model-Based Testing", Ina Kathrin Schieferdecker and Andreas Hoffmann, Encyclopedia of Software Engineering Auerbach Publications, pp. 556--570, 2010.Model-Based Testing (MBT) constitutes a number of technologies, methods, and approaches, with the aim of improving the quality, efficiency, and effectiveness of test processes, tasks, and artifacts. Started as a pure academic field of application, it has gained significance for industrial domains in recent years. Moreover, the ongoing adoption of Model-Based Engineering techniques by industrial-grade software engineering companies provides a solid basis to introduce and apply MBT approaches and hopefully will lead to a larger acceptance of model-based techniques. This entry presents background information on testing in general, motivates the application of MBT approaches in particular, and reviews related work and standards.,

[Chapter 8] "Model-Based Testing: Trends", Ina Kathrin Schieferdecker and Jürgen Großmann and Marc-Florian Wendland, Encyclopedia of Software Engineering Auerbach Publications, pp. 577--593, 2010.Model-Based Testing (MBT) constitutes a number of technologies, methods, and approaches, with the aim of improving the quality, efficiency, and effectiveness of test processes, tasks, and artifacts. This entry examines the use of MBT to solve problems and answer challenges in the field of test automation, test quality improvement, and test efficiency. It reviews the application of MBT in different domains and trends and challenges for the further development of MBT approaches. Subsequently, tools supporting MBT processes are presented and a discussion on the MBT return of investment is given.,

[Chapter 7] "Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain", Justyna Zander and Ina Kathrin Schieferdecker, Behavioral Modeling for Embedded Systems and Technologies IGI Global, pp. 377--413, 2009.The purpose of this chapter is to introduce the test methods applied for embedded systems addressing selected problems in the automotive domain. Model-based test approaches are reviewed and categorized. Weak points are identified and a novel test method is proposed. It is called model-in-the-loop for embedded system test (MiLEST) and is realized in MATLAB®/Simulink®/Stateflow® environment. Its main contribution refers to functional black-box testing based on the system and test models. It is contrasted with the test methods currently applied in the industry that form dedicated solutions, usually specialized in a concrete testing context. The developed signal-feature-oriented paradigm developed herewith allows the abstract description of signals and their properties. It addresses the problem of missing reference signal flows and allows for a systematic and automatic test data selection. Processing of both discrete and continuous signals is possible, so that the hybrid behavior of embedded systems can be handled.,

[Chapter 6] "The Test Technology TTCN-3", Ina Kathrin Schieferdecker and Jens Grabowski and Theofanis Vassiliou-Gioles and George Din, Formal Methods and Testing Springer Science and Business Media, pp. 292--319, ISBN: 978-3-540-78916-1, 2008.The Testing and Test Control Notation (TTCN-3) is a widely established test technology traditionally used in the telecommunication domain. In its new version, TTCN-3 has a wider scope and applicability. It can be applied not only for testing the conformance and interoperability of communication protocols but also for testing the functionality, interoperation and performance of software-based systems in general. Therefore, TTCN-3 is nowadays used in other domains such as automotive, railways, avionics, or security systems. This chapter introduces the concepts of the TTCN-3 language and provides examples of its practical use.,

[Chapter 5] "Service-Qualität managen", Klaus-Peter Eckert and Tom Ritter and Ina Kathrin Schieferdecker, SOA für agile Unternehmen: Serviceorientierte Architekturen verstehen, einführen und nutzen Symposion Publishing, pp. 167--188, ISBN: 978-3-939707-14-1, 2008.Service-Qualität ist ein wichtiges Kriterium, das die Unterscheidung von Services gleicher Funktionalität ermöglicht. Wenn zukünftig vergleichbare Services verschiedener Anbieter miteinander konkurrieren, erlaubt der Faktor Service-Qualität eine Alleinstellung. Aber was ist eigentlich Service-Qualität?,

[Chapter 4] "Modeling and Implementation of Built-In Contract Tests", Hans-Gerhard Gross and Ina Kathrin Schieferdecker and George Din, Testing Commercial-off-the-Shelf Components and Systems Springer, pp. 195--211, ISBN: 978-3-540-21871-5, 2005.SummaryBuilt-in contract testing is based on the idea of building tests directly into components, so that each component can assess whether it will be integrated into a suitable environment, and the environment can assess whether a newly integrated component will be acceptable.Component technologies such as CCM, .NET, or EJB are more and more being supported by model-based approaches like the OMG\textquoterights Model Driven Architecture (MDA). The idea is to gain considerable momentum in the development of component-based architectures through high-level modeling and automatic code generation. However, the emphasis with these approaches is currently more on system design and development and not as much on system validation and testing, so the expected reductions in component-based development in terms of time and effort can only be realized in component and application construction and not during test development. Lengthy and costly in-situ verification and acceptance testing, that is mainly still performed manually, undermines the benefits of these modern development approaches.This chapter demonstrates how built-in contract testing can be integrated with and made to supplement automatic approaches to derive application testing from system models, represent them on the model level, and generate executable tests from these models. This model-based testing approach increases the degree of automation in generating and realizing built-in contract tests; therefore, it also increases the quality of the built-in tests and reduces the resources required for developing them.,

@InBook{Gross2005a,
author    = {Hans-Gerhard Gross and Ina Kathrin Schieferdecker and George Din},
booktitle = {Testing Commercial-off-the-Shelf Components and Systems},
title     = {Modeling and Implementation of Built-In Contract Tests},
doi       = {10.1007/3-540-27071-X_10},
isbn      = {978-3-540-21871-5},
pages     = {195--211},
publisher = {Springer},
abstract  = {SummaryBuilt-in contract testing is based on the idea of building tests directly into components, so that each component can assess whether it will be integrated into a suitable environment, and the environment can assess whether a newly integrated component will be acceptable.Component technologies such as CCM, .NET, or EJB are more and more being supported by model-based approaches like the OMG{\textquoteright}s Model Driven Architecture (MDA). The idea is to gain considerable momentum in the development of component-based architectures through high-level modeling and automatic code generation. However, the emphasis with these approaches is currently more on system design and development and not as much on system validation and testing, so the expected reductions in component-based development in terms of time and effort can only be realized in component and application construction and not during test development. Lengthy and costly in-situ verification and acceptance testing, that is mainly still performed manually, undermines the benefits of these modern development approaches.This chapter demonstrates how built-in contract testing can be integrated with and made to supplement automatic approaches to derive application testing from system models, represent them on the model level, and generate executable tests from these models. This model-based testing approach increases the degree of automation in generating and realizing built-in contract tests; therefore, it also increases the quality of the built-in tests and reduces the resources required for developing them.},
file      = {2005/Gross2005a - Modeling and Implementation of Built in Contract Tests.pdf},
type      = {inbook},
year      = {2005},
}
,

[Chapter 3] "Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS", Andreas Willig and Ina Kathrin Schieferdecker, Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Springer Science and Business Media, pp. 473--492, 1995.The paper presents a specification of the steam boiler system in Time Extended LOTOS as an example to describe real-time, hybrid systems containing parts with discrete and continuous behavior in a time extended process-algebraic formalism. The specification has been developed in three design steps -- the specification of functional behavior in LOTOS, the specification of timed behavior in TE-LOTOS (a time extension of LOTOS), and the specification of data dependencies in TE-LOTOS with Gofer (a functional language). The resulting specification is modular, succinct, and easy to read. Most importantly, it is an implementation-near specification. It offers means for logical reasoning on the system properties, for stepwise refinement, simulation and prototyping of the system.,

[Chapter 2] "Die digitale Nachhaltigkeitsgesellschaft", Messner, Dirk and Schieferdecker, Ina, Soziale Marktwirtschaft ökologisch erneuern. Ökologische Innovationen, wirtschaftliche Chancen und soziale Teilhabe in Zeiten des Klimawandels Berlin Konrad-Adenauer-Stiftung, pp. 205-224, ISBN: 9783957215659, Die Digitalisierung öffnet die Tür zu einem neuen Zeitalter menschlicher Zivilisation. Gro\ 'se Gestaltungsaufgaben entstehen, um den digitalen Wandel mit der notwendigen Transformation zur Nachhaltigkeit, also der Entwicklung von Wohlstand, Sicherheit und Demokratie für bald 10 Mrd. Menschen in den Grenzen des Erdsystems, zusammenzuführen. Die Transformation zur Nachhaltigkeit muss bis etwa Mitte dieses Jahrhunderts gelingen, um Kipppunkte im Erdsystem – wie das Abschmelzen des Grönlandeisschildes, den Kollaps des Monsunsystems oder des Amazonasregenwaldgebietes – zu vermeiden. Es geht darum, Wohlstandssteigerung und die sozio-ökonomische Entwicklung in den kommenden drei bis vier Dekaden von Treibhausgasemissionen zu entkoppeln, Ressourcen in wirtschaftlichen Kreisläufen zu führen und den Druck auf die Ökosysteme radikal zu reduzieren. Mit der Agenda 2030 mit ihren umfassenden Nachhaltigkeitszielen geht es zudem um die Abschaffung der extremen Armut und die Reduzierung von Ungleichheiten, die die soziale Kohäsion und die Stabilität vieler Gesellschaften gefährden. Kann die Digitalisierung helfen, diese Menschheitsaufgaben zu bewältigen? Dazu müssen digitale Innovationen mit der Nachhaltigkeitstransformation verbunden und zusammengeführt werden, worauf Politik, Wirtschaft und Gesellschaft bisher nicht eingestellt sind.,

[Chapter 1] "Technologische Souveränität als Mission", Ina Kathrin Schieferdecker, Transformative und agile Innovationssysteme. Neue Praktiken und innovationspolitische Herausforderungen Campus Frankfurt / New York, ISBN: 9783593455624, 2023.

[Book(let) 32] "Rethinking Land in the Anthropocene: from Separation to Integration. WBGU Flagship Report", Martina Fromhold-Eisebith and Ulrike Grote and Ellen Matthies and Dirk Messner and Karen Pittel and Hans Joachim Schellnhuber and Ina Kathrin Schieferdecker and Sabine Schlacke and Uwe Schneidewind, ISBN: 978-3-946830-33-7, 2020.Only if there is a fundamental change in the way we manage land can we reach the targets of climate-change mitigation, avert the dramatic loss of biodiversity and make the global food system sustainable. The WBGU proposes five multiple-benefit strategies illustrating ways of overcoming competition between rival claims to the use of land. These should be promoted by five governance strategies, especially by setting suitable framework conditions, reorienting EU policy and establishing alliances of like-minded states.,

[Book(let) 31] "Proceedings of the 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) 2019, 28-31 October, Berlin, Germany", Institute of Electrical and Electronics Engineers ( IEEE ), ISBN: 978-1-7281-4982-0, 2019.

[Book(let) 30] "Handreichung zur Studie: Urbane Datenräume", Ina Kathrin Schieferdecker and Lina Bruns and Silke Cuno and Matthias Flügge and Karsten Isakovic and Jens Klessmann and Philipp Lämmel and Dustin Stadtkewitz and Nikolay Tcholtchev and Christoph Lange and Benedikt Imbusch and Leonie Strauß and Alex Vastag and Florian Flocke and Volker Kraft, Fraunhofer FOKUS, Berlin, 2019.

[Book(let) 29] "Our Common Digital Future", Martina Fromhold-Eisebith and Ulrike Grote and Ellen Matthies and Dirk Messner and Karen Pittel and Hans Joachim Schellnhuber and Ina Kathrin Schieferdecker and Sabine Schlacke and Uwe Schneidewind, ISBN: 978-3-946830-03-0, 2019.\ 'Digitalization\ ' is often described as a huge upheaval facing our societies to which we must adapt. The WBGU opposes this interpretation, saying that digitalization must be shaped in such a way that it can serve as a lever and support for the Great Transformation towards Sustainability, and can be synchronized with it. The WBGU understands digitalization broadly as the development and application of digital and digitalized technologies that augment and dovetail with all other technologies and methods. It has a profound effect on all economic, social and societal systems and is developing an ever greater transformative force. This in turn is increasingly having a fundamental impact on people, societies and the planet itself and must therefore be managed accordingly. Just as in 1987 the Brundtland Report entitled \ 'Our Common Future\ ' outlined the concept of Sustainable Development, the WBGU\ 's report entitled \ 'Towards Our Common Digital Future\ ' sketches the concept of a digitalized sustainability society.,

[Book(let) 28] "Proceedings of the 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisboa, Portugal", Institute of Electrical and Electronics Engineers ( IEEE ), 2018.

[Book(let) 27] "Urbane Datenräume", Ina Kathrin Schieferdecker and Lina Bruns and Silke Cuno and Matthias Flügge and Karsten Isakovic and Jens Klessmann and Philipp Lämmel and Dustin Stadtkewitz and Nikolay Tcholtchev and Christoph Lange and Benedikt Imbusch and Leonie Strauß and Alex Vastag and Florian Flocke and Volker Kraft, Fraunhofer FOKUS, Berlin, 2018.

[Book(let) 26] "IT-Plattformen für die Smart Service Welt. Verständnis und Handlungsfelder", (acatech Dikussion), MXM Digital-Service München, ISBN: 978-3-8316-4615-9, 2017.IT-Plattformen sind die Grundlage datengetriebener, serviceorientierter Geschäftsmodelle. Sie ermöglichen es Unternehmen verschiedener Branchen, flexibel und weitgehend automatisiert in digitalen Ökosystemen zusammenzuarbeiten. Für die industrielle Produktion ist die Harmonisierung von IT-Plattformen von zentraler Bedeutung. Noch aber fehlt im produzierenden Gewerbe ein einheitliches Verständnis von Plattformen und ihrem künftigen Zusammenspiel. Die vorliegende acatech DISKUSSION analysiert das in Wissenschaft und Wirtschaft vorherrschende Verständnis von IT-Plattformen. Auf Basis von Interviews und Workshops mit Fachleuten beleuchtet sie Begrifflichkeiten, Merkmale und Stakeholder sowie den aktuellen Wissensstand zur Plattformökonomie. Weiterhin thematisiert sie Chancen, Risiken und Barrieren bei der industriellen Nutzung von IT-Plattformen sowie damit verbundene Herausforderungen für Standardisierung und Normung. Für den erfolgreichen Einsatz von IT-Plattformen benennen die Autoren abschließend relevante Handlungsfelder für verschiedene Akteure.,

[Book(let) 25] "Netzinfrastrukturen für die Gigabitgesellschaft", Henrik Czernomoriez and Manfred Hauswirth and Thomas Magedanz and Rudolf Roth and Ina Kathrin Schieferdecker and Carsten Schmoll and Florian Schreiner and Jens Tiemann, Fraunhofer FOKUS, 2016.Die Gigabitgesellschaft des Jahres 2025 ist eine fortgeschrittene Informationsgesellschaft, die vollständig von Informations- und Kommunikationstechnik durchdrungen ist. Mit dem Begriff Gigabitgesellschaft wird derzeit ein Zukunftsbild gezeichnet, in dem durch die fortschreitende Digitalisierung und intelligente Vernetzung neue Impulse für das Leben und Arbeiten in unserer Gesellschaft gesetzt werden. Dabei ist die grundsätzliche Bedeutung einer Breitbandinfrastruktur für Innovation und Wirtschaftswachstum allgemein anerkannt. Untersuchungsbedarf besteht jedoch mittel- bis langfristig insbesondere für die Anforderungen an die zukünftigen Netzinfrastrukturen von Industrie, öffentlicher Verwaltung und Haushalten in Deutschland sowie zu den technologischen Optionen zur adäquaten Adressierung dieser Bedarfe. Aus diesem Grund widmet sich diese Studie der Frage, wie sich eine Gigabitgesellschaft im Jahr 2025 definieren kann, welche Anwendungen das tägliche Leben der Menschen und die Wirtschaft 2025 prägen und welche Netzinfrastrukturen diese Anwendungen benötigen werden, um die Lebensqualität zu verbessern, die Wirtschaft in Deutschland zu stärken und neue Innovationspotenziale zu schaffen. Dabei müssen sowohl die Bandbreitenbedarfe dieser Anwendungen einzeln und zusammen sinnvoll abgeschätzt werden, als auch - aufgrund der neuen Anforderungen zukünftiger Anwendungen - die weiteren, über den reinen Datentransport hinausgehenden Eigenschaften für die Fortschreibung der Netzinfrastrukturen Berücksichtigung finden.,

@Booklet{Czernomoriez2016,
author       = {Henrik Czernomoriez and Manfred Hauswirth and Thomas Magedanz and Rudolf Roth and Ina Kathrin Schieferdecker and Carsten Schmoll and Florian Schreiner and Jens Tiemann},
title        = {Netzinfrastrukturen für die Gigabitgesellschaft},
year         = {2016},
publisher    = {Fraunhofer FOKUS},
url          = {https://www.bmvi.de/SharedDocs/DE/Anlage/Digitales/gigabit-studie.pdf?__blob=publicationFile},
abstract     = {Die Gigabitgesellschaft des Jahres 2025 ist eine fortgeschrittene Informationsgesellschaft, die vollständig von Informations- und Kommunikationstechnik durchdrungen ist. Mit dem Begriff Gigabitgesellschaft wird derzeit ein Zukunftsbild gezeichnet, in dem durch die fortschreitende Digitalisierung und intelligente Vernetzung neue Impulse für das Leben und Arbeiten in unserer Gesellschaft gesetzt werden. Dabei ist die grundsätzliche Bedeutung einer Breitbandinfrastruktur für Innovation und Wirtschaftswachstum allgemein anerkannt. Untersuchungsbedarf besteht jedoch mittel- bis langfristig insbesondere für die Anforderungen an die zukünftigen Netzinfrastrukturen von Industrie, öffentlicher Verwaltung und Haushalten in Deutschland sowie zu den technologischen Optionen zur adäquaten Adressierung dieser Bedarfe. Aus diesem Grund widmet sich diese Studie der Frage, wie sich eine Gigabitgesellschaft im Jahr 2025 definieren kann, welche Anwendungen das tägliche Leben der Menschen und die Wirtschaft 2025 prägen und welche Netzinfrastrukturen diese Anwendungen benötigen werden, um die Lebensqualität zu verbessern, die Wirtschaft in Deutschland zu stärken und neue Innovationspotenziale zu schaffen. Dabei müssen sowohl die Bandbreitenbedarfe dieser Anwendungen einzeln und zusammen sinnvoll abgeschätzt werden, als auch - aufgrund der neuen Anforderungen zukünftiger Anwendungen - die weiteren, über den reinen Datentransport hinausgehenden Eigenschaften für die Fortschreibung der Netzinfrastrukturen Berücksichtigung finden.},
file         = {2016/Czernomoriez2016 - Netzinfrastrukturen Fur Die Gigabitgesellschaft.pdf},
type			= {book},
}
,

[Book(let) 24] "SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany October", (Lecture Notes in Computer Science), Springer, Vol. 9369, ISBN: 978-3-319-24911-7, 2015.

[Book(let) 23] "Integrierende Informations- und Kommunikationstechnologien (IKT) für die Stadt der Zukunft", (acatech Materialien), MXM Digital-Service München, ISBN: 978-3-942044-38-7, 2014.Das vorliegende Dokument ist dem Leitbild der acatech verpflichtet, in gesellschaftlicher Verantwortung wissenschaftsbasierte Handlungsempfehlungen zu erarbeiten. Daher wird angestrebt, das Thema Integrierende Informations- und Kommunikationstechnologien (IKT) für die Stadt der Zukunft zwar mit dem gegebenen Fokus IKT zu betrachten, IKT aber als Dienstleister für die Desiderate und Bedarfe zukunftsorientierter Städte zu sehen - und zwar aus dem Blickwinkel politisch Verantwortlicher ebenso wie aus dem von Wirtschaft sowie Bürgerinnen und Bürgern.,

[Book(let) 22] "Proceedings of the International Symposium on Open Collaboration, OpenSym 2014, Berlin, Germany August 2", ACM, ISBN: 978-1-4503-3016-9, 2014.

[Book(let) 21] "Stand und Trends der Qualitätssicherung von vernetzten eingebetteten Systemen", Martin Schneider and Jürgen Großmann and Evanela Lapi and Ina Kathrin Schieferdecker, Fraunhofer Verlag, ISBN: 978-3-8396-0756-5, 2014.Die Qualitätssicherung von vernetzten eingebetteten Systemen stellt auf Grund der immer größeren Bedeutung für Innovationen ein wichtiges Thema für die deutsche Industrie dar. In einer 2008 vom Bundesverband Informationswirtschaft, Telekommunikation und neue Medien (BITKOM) veröffentlichten Studie zur Bedeutung des Sektors Eingebettete Systeme wurde die Dienstleistungsbranche rund um dieses Themenfeld als Wachstumsträger der IT-Branche ermittelt. Dabei stellte der gestiegene Qualitätsanspruch an eingebettete Systeme gemeinsam mit der Reduzierung der Zeit bis zur Markteinführung eines Produktes (Time-to-Market) das wichtigste Thema für die befragten Unternehmen dar.,

[Book(let) 20] "Development and Industrial Application of Multi-Domain-Security Testing Technologies", Ina Kathrin Schieferdecker and Jürgen Großmann and Martin Schneider and Johannes Viehmann and Stephan Pietsch and Andrej Pietschker and Felix Jakob and Andreas Schulze, Fraunhofer-Verlag, Berlin [u.a.], ISBN: 9783839607237, 2014.

[Book(let) 19] "Model-based testing for embedded systems", (Computational analysis, synthesis, and design of dynamic systems), CRC press, Vol. 13, Boca Raton, Flo., ISBN: 9781439818459, 2012.

[Book(let) 18] "Open Government Data Deutschland", Jens Klessmann and Philipp Denker and Ina Kathrin Schieferdecker and Sönke E Schulz, Deutschland / Bundesministerium, Berlin, 2012.

[Book(let) 17] "10th International Symposium on Autonomous Decentralized Systems", IEEE Computer Society, ISBN: 978-1-61284-213-4, 2011.

[Book(let) 16] "Smart Cities. Deutsche Hochtechnologie für die Stadt der Zukunft - Aufgaben und Chancen", (acatech BEZIEHT POSITION), Springer, Vol. 10, pp. 23, ISBN: 978-3-642-20735-8, 2011.Die weltweite Urbanisierung ist eine zentrale Herausforderung des 21. Jahrhunderts. Seit 2007 wohnen erstmals mehr Menschen in Ballungsräumen als in ländlichen Regionen, im Jahr 2030 werden es 60 Prozent sein. Umso notweniger sind Städte und Agglomerationen auf vernetzte Technologien angewiesen. \enquoteSmarte Technologien bieten hier Antworten in unterschiedlichen Bedarfsfeldern. Gerade Deutschland hat gute Chancen, sich als Leitanbieter innovativer Gesamtlösungen zu etablieren – wenn dafür die Rahmenbedingungen geschaffen werden. Die vorliegende Stellungnahme entstand in Vorbereitung des ersten \enquoteInnovationsdialogs zwischen Bundesregierung, Wirtschaft und Wissenschaft im September 2010. Sie stellt aber eine eigenständige Veröffentlichung der Deutschen Akademie der Technikwissenschaften dar. Darin werden Handlungsempfehlungen unterbreitet, wie der Bedarf an integrierten Lösungen neue Wertschöpfungsmöglichkeiten erschließen kann.,

[Book(let) 15] "Software Testing, Verification and Validation", IEEE Computer Society, ISBN: 978-0-7695-4342-0, 2011.

[Book(let) 14] "Berliner Open Data Strategie", Wolfgang Both and Ina Kathrin Schieferdecker, Fraunhofer-Verl., Berlin [u.a.], ISBN: 978-3-8396-0368-0, 2011.

[Book(let) 13] "Entwicklung und Erprobung innovativer Technologien des modellbasierten Tests", Fraunhofer-Verlag, Stuttgart, ISBN: 9783839601549, 2010.

[Book(let) 12] "Inventing Communication. From Communicating Machines to Autonomic Communication", Fraunhofer-Verlag, Berlin, ISBN: 978-3816777786, 2009.

[Book(let) 11] "Software quality engineering: Proceedings of the CONQUEST 2009, 12th International Conference Quality Engineering in Software Technology", dpunkt-Verl., Heidelberg, ISBN: 9783898646376, 2009.

[Book(let) 10] "International Symposium on Quality Engineering for Embedded Systems. Proceedings", IRB Verlag, Stuttgart, ISBN: 9783816776239, 2008.

[Book(let) 9] "Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany June 9-1", (Lecture Notes in Computer Science), Springer, Vol. 5095, Berlin [u.a.], ISBN: 978-3-540-69095-5, 2008.

[Book(let) 8] "Business Process Engineering: Proceedings of the CONQUEST 2007. 10th International Conference on Quality Engineering in Software Technology", dpunkt-Verl., Heidelberg, ISBN: 9783898644891, 2007.

[Book(let) 7] "Model-driven testing: Using the UML testing profile", Paul Baker and Zhen Ru Dai and Jens Grabowski and Øystein Haugen and Ina Kathrin Schieferdecker and Clay Williams, Springer Science and Business Media, Berlin, Heidelberg, ISBN: 9783540725633, 2007.

[Book(let) 6] "Software Quality in Service-Oriented Architectures. Proceedings of the CONQUEST 2006. 9th International Conference on Quality Engineering in Software Technology. Berlin 2006", dpunkt-Verl., Heidelberg, ISBN: 978-3898644327, 2006.

[Book(let) 5] "Methoden und Werkzeuge für eine flexible Testplattform basierend auf TTCN-3", Ina Kathrin Schieferdecker and Jens Herrmann, IRB-Verl., Stuttgart, ISBN: 9783816771401, 2006.

[Book(let) 4] "Testing of Communicating Systems XIV. Application to Internet Technologies and Services", (IFIP - The International Federation for Information Processing), Kluwer, Vol. 82, Boston, MA, ISBN: 0-7923-7695-1, 2002.

[Book(let) 3] "Proceedings of the 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000", (GMD Report), Sankt Augustin: GMD Forschungszentrum Informationstechnik, ISSN: 1435-2702, 2001.The European Research Consortium for Informatics and Mathematics (ERCIM) has recently celebrated its 10th anniversary. The ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) is organizing its 5th International Workshop. FMICS workshops are dedicated to interested researchers at ERCIM sites, universities and industry active in the industrial application of formal methods. Among a variety of formal methods conferences and workshops FMICS is increasing its popularity. The idea of FMICS workshops is to attract people with industrial relevant topics, with internationally well-known invited speakers and with high-quality technical papers in combination with a discussion podium for the exchange of ideas. The workshop character of FMICS is realized on a minimal cost base. This time, FMICS is organized right after ETAPS '2000 - the European Joint Conferences on Theory and Practice of Software in Berlin. After starting the FMICS workshop series 1996 in Oxford (UK) further workshops followed 1997 in Cesena (I), 1998 in Amsterdam (NL) and 1999 in Trento (I). In 2000, the workshop is hosted and organized at the GMD Research Institute for Open Communication Systems (FOKUS) in Berlin, Germany. This year ' workshop includes sessions on modelling, verification, testing and software development, MSC/SDL, and various applications and case studies. We are pleased to present two interesting invited talks: Günter Karjoth, IBM Zurich (CH), addresses the value of formal methods for security properties such as confidentiality and authenticity. Holger Hermanns, University of Twente (NL), investigates in the performance and reliability model checking and construction. We wish to thank the members of the programme committee, especially the FMICS working group chairman Hubert Garavel, for the excellent assistance during the planing of the workshop, the invited speakers, the authors and the reviewers for their scientific contributions, the people from the GMD Fokus Competence Center TIP for preparing the workshop event, and ERCIM and GMD for their financial and organizational support of FMICS.,

@Proceedings{Gnesi2001,
title      = {Proceedings of the 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000},
editor     = {Stefania Gnesi and Ina Kathrin Schieferdecker and Axel Rennoch},
eventtitle = {FMICS`2000, April 3 - 4, 2000 in Berlin},
articleno     = {91},
publisher  = {Sankt Augustin: GMD Forschungszentrum Informationstechnik},
series     = {GMD Report},
abstract   = {The European Research Consortium for Informatics and Mathematics (ERCIM) has recently celebrated its 10th anniversary. The ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) is organizing its 5th International Workshop. FMICS workshops are dedicated to interested researchers at ERCIM sites, universities and industry active in the industrial application of formal methods. Among a variety of formal methods conferences and workshops FMICS is increasing its popularity. The idea of FMICS workshops is to attract people with industrial relevant topics, with internationally well-known invited speakers and with high-quality technical papers in combination with a discussion podium for the exchange of ideas. The workshop character of FMICS is realized on a minimal cost base. This time, FMICS is organized right after ETAPS`2000 - the European Joint Conferences on Theory and Practice of Software in Berlin. After starting the FMICS workshop series 1996 in Oxford (UK) further workshops followed 1997 in Cesena (I), 1998 in Amsterdam (NL) and 1999 in Trento (I). In 2000, the workshop is hosted and organized at the GMD Research Institute for Open Communication Systems (FOKUS) in Berlin, Germany. This year` workshop includes sessions on modelling, verification, testing and software development, MSC/SDL, and various applications and case studies. We are pleased to present two interesting invited talks: Günter Karjoth, IBM Zurich (CH), addresses the value of formal methods for security properties such as confidentiality and authenticity. Holger Hermanns, University of Twente (NL), investigates in the performance and reliability model checking and construction. We wish to thank the members of the programme committee, especially the FMICS working group chairman Hubert Garavel, for the excellent assistance during the planing of the workshop, the invited speakers, the authors and the reviewers for their scientific contributions, the people from the GMD Fokus Competence Center TIP for preparing the workshop event, and ERCIM and GMD for their financial and organizational support of FMICS.},
file       = {2001/Gnesi2001 - Proceedings of the 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000.pdf},
issn       = {1435-2702},
numpages   = {383},
type       = {book},
year       = {2001},
}
,

[Book(let) 2] "Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997", (GMD-Studien), GMD-Forschungszentrum Informationstechnik GmbH, Vol. 315, ISBN: 3-88457-315-2, 1997.

[Book(let) 1] "Performance-oriented specification of communication protocols and verification of deterministic bounds of their QoS characteristics", Ina Kathrin Schieferdecker, (Berichte der Gesellschaft für Mathematik und Datenverarbeitung), Oldenbourg, München [u.a.], ISBN: 3486233289, 1995.

[Editorial 16] "Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017)", Ina Kathrin Schieferdecker and Atif Memon and Hironori Washizaki, Proc. of the 2020 IEEE/IFIP Network Operations and Management Symposium, NOMS Wiley Online Library, pp. 1--7, 2020.Firewalls are a critical part in any security framework. Most firewalls consist of a large amount of sequential rules that are unstructured and confusing. Unfortunately, because a lot of rules configuration work is done manually by the network administrators, misconfigurations are very common and can affect the reliability of the firewall. Identifying such anomalies is a challenging task. In this paper, we propose a tree based simulation and verification model to verify if the implemented firewall of a system is in compliance with the belonging firewall requirements. The proposed methodology was developed in relation with the H2020 FORTIKA project and was evaluated in the scope of case studies with industrial partners. The case studies in question related to large scale telecom infrastructures involving critical scenarios in the scope of Smart Cities in general and SME cyber-security protection. Thereby, the executed case studies demonstrate how our approach can lead to improved structuring of firewalls and belonging rules, to the comfortable visualization of firewall structures and decision patterns, and finally to the verification of system and context requirements imposed by the firewall operation environment.,

@InProceedings{Barakat2020,
author    = {Ramon Barakat and Faruk Catal and Nikolay Tcholtchev and Yacine Rebahi and Ina Kathrin Schieferdecker},
booktitle = {Proc. of the 2020 IEEE/IFIP Network Operations and Management Symposium, {NOMS}},
title     = {Industrial Grade Methodology for Firewall Simulation and Requirements Verification},
pages     = {1--7},
publisher = {{IEEE}},
abstract  = {Firewalls are a critical part in any security framework. Most firewalls consist of a large amount of sequential rules that are unstructured and confusing. Unfortunately, because a lot of rules configuration work is done manually by the network administrators, misconfigurations are very common and can affect the reliability of the firewall. Identifying such anomalies is a challenging task. In this paper, we propose a tree based simulation and verification model to verify if the implemented firewall of a system is in compliance with the belonging firewall requirements. The proposed methodology was developed in relation with the H2020 FORTIKA project and was evaluated in the scope of case studies with industrial partners. The case studies in question related to large scale telecom infrastructures involving critical scenarios in the scope of Smart Cities in general and SME cyber-security protection. Thereby, the executed case studies demonstrate how our approach can lead to improved structuring of firewalls and belonging rules, to the comfortable visualization of firewall structures and decision patterns, and finally to the verification of system and context requirements imposed by the firewall operation environment.},
file      = {2020/Barakat2020 - Industrial Grade Methodology for Firewall Simulation and Requirements Verification.pdf},
type      = {conference},
year      = {2020},
}
{schieferdecker2020a,
title={Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017)},
author={Ina Kathrin Schieferdecker and Atif Memon and Hironori Washizaki},
year={2020},
publisher={Wiley Online Library}
type      = {editorial},
file     = {2020/Schieferdecker2020a - Editorial for the special issue of STVR.pdf},
url={https://onlinelibrary.wiley.com/doi/full/10.1002/stvr.1757},
}

[Editorial 15] "20 Jahre ASQF", ASQF e.V. Interes, pp. 100, ISSN: 2367-3516, 2016.

[Editorial 14] "Softwarequalität beginnt bei den Experten", SIGS DATACOM, ISSN: 0945-0491, 2016.Es gibt kaum noch Bereiche in unserem Alltag und Berufsleben, in denen uns nicht auf irgendeine Weise Software begegnet, uns begleitet oder bereits lenkt – denken Sie nur an die softwarebasierten Fahrfunktionen in Ihrem Auto. Dabei verlassen wir uns – bewusst oder unbewusst – darauf, dass die Software das tut, was sie tun soll: Wir erwarten eine angemessene Qualität dieser softwarebasierten Systeme. Und wir gehen davon aus, dass die Software von Experten ihres Fachs erarbeitet wurde.,

[Editorial 13] "Digitale Transformation sucht Mitstreiter", SIGS DATACOM, ISSN: 0945-0491, 2015.Im diesjährigen Online Themenspecial Testing können wir wiederum interessante Beiträge präsentieren und damit zur Zuverlässigkeit und Sicherheit der Digitalisierung beitragen. Allerdings müssen wir die Test-Herausforderungen, die das kommende Internet-of-Things mit sich bringen wird, zukünftig noch stärker in den Blick nehmen.,

[Editorial 12] "History, status, and recent trends of the testing and test control notation version 3 (TTCN-3)", Springer, Vol. 16, ISSN: 1433-2779, 2014.

[Editorial 11] "Testing – neue Konzepte, Strategien, Zukunftsaussichten, Hier entlang bitte!", SIGS DATACOM, ISSN: 0945-0491, 2014.Von der Automatisierung von Testaufgaben durch softwarebasierte Werkzeuge wird bereits seit der Softwarekrise in den 1960er Jahren gesprochen. So formulierte z. B. Herbert D. Benington bei seinem Vortrag zum Symposium „Advanced programming methods for digital computers” des Navy Mathematical Computing Advisory Panels und des Office of Naval Research im Juni 1956 unter anderem: ,,After coding, each component subprogram is parameter tested on the machine by itself. This testing phase uses an environment that simulates pertinent portions of the system program. Each test performed during this phase is documented in a set of test specifications that detail the environment used and the outputs obtained (vgl. [Ben83]). ' ',

[Editorial 10] "Testing – neue Konzepte, Strategien, Zukunftsaussichten, Testautomatisierung? Ja, bitte!", SIGS DATACOM, ISSN: 0945-0491, 2013.Von der Automatisierung von Testaufgaben durch softwarebasierte Werkzeuge wird bereits seit der Softwarekrise in den 1960er Jahren gesprochen. So formulierte z. B. Herbert D. Benington bei seinem Vortrag zum Symposium \enquoteAdvanced programming methods for digital computers des Navy Mathematical Computing Advisory Panels und des Office of Naval Research im Juni 1956 unter anderem: \enquoteAfter coding, each component subprogram is parameter tested on the machine by itself. This testing phase uses an environment that simulates pertinent portions of the system program. Each test performed during this phase is documented in a set of test specifications that detail the environment used and the outputs obtained.,

[Editorial 9] "Testing – neue Konzepte, Strategien, Zukunftsaussichten, Testen - wo geht es hin?", SIGS DATACOM, ISSN: 0945-0491, 2012.Diese Frage wird mir immer wieder und aus verschiedenen Blickwinkeln gestellt: Wie können nachhaltig Verbesserungen für den Testprozess und sein Management realisiert werden, kann die Integration der Systementwicklung mit der Qualitätssicherung gestärkt werden, können passende Werkzeuge und Abläufe gefunden werden, können Tester auf neue Aufgaben vorbereitet werden? Sie wird auch oftmals von Forschern gestellt, die aktuelle Fragestellungen für Forschungsprojekte und Promotionen suchen. Die Frage wird auch vor dem Hintergrund gestellt, dass sich an den Testmethoden im Vergleich zur Softwarekrise in den 60ern – nun auch schon 50 Jahre her – wenig geändert hat und dass die Testkosten wie die Restfehlerraten auf hohem Niveau verharren.,

[Editorial 8] "Beim Testen Neues wagen", SIGS DATACOM, ISSN: 0945-0491, 2011.Zum 15. Jubiläum des Arbeitskreises Software-Qualität und -Fortbildung (ASQF) wurde am 24. September 2011 erstmalig der deutsche Preis für Software-Qualität an Harry M. Sneed für sein Lebenswerk verliehen. Harry M. Sneed bearbeitet seit 35 Jahren das Thema der Software-Qualität, nicht nur, aber immer wieder auch als Software-Tester. Dabei hat er bereits Ende der 70er und mittlerweile gut 20 Testwerkzeuge konzipiert, umgesetzt und angewendet, eine Leidenschaft, die ihm noch heute immer wieder neue Einsichten in Testmethoden gibt, mit allen nötigen als auch möglichen Erweiterungen.,

[Editorial 7] "Model-Based Testing for Embedded and Real-Time Communication Systems", IGI Global, Vol. 2, no. 2, 2011.

[Editorial 6] "Neuigkeiten an der Software-Test-Front?!", SIGS DATACOM, ISSN: 0945-0491, 2010.Hand aufs Herz: mit dem Software-Testen ist es wie mit gesunder Lebensweise: eigentlich wissen wir, was zu tun wäre, doch fällt die Umsetzung aus verschiedensten Gründen schwer und wird noch allzu oft anderen (an- bzw. vorgeblichen) Dringlichkeiten geopfert. Nun wollen wir hier nicht mit erhobenem Zeigefinger auf die Notwendigkeit nachhaltiger Prozesse bei der Qualitätssicherung eingehen, sondern Ihnen nützliche Tipps und Hinweise geben und Ihnen behilflich sein, den Stand Ihres Software-Testens verbessern zu können. Dieser Aufgabe haben wir uns seit 2008 verschrieben und freuen uns, Ihnen nun die dritte Ausgabe des OBJEKTspektrum Online Themenspecials über Software-Testen vorstellen zu können.,

[Editorial 5] "Software-Qualität - ja, und?", SIGS DATACOM, ISSN: 0945-0491, 2009.Deutschland ist bekannt für seine qualitativ hochwertigen Produkte. Über Jahrhunderte haben sich rigide Qualitätsvorschriften in den Ingenieursdisziplinen entwickelt, welche über Standards gefordert und durch verschiedene Abnahmeverfahren (z.B. den TÜV) geprüft werden. Bei der Software sind wir mitnichten soweit. Es wird zwar verstanden, dass dieser immaterielle Teil der Produkte maßgeblich zur Funktionalität der Produkte beiträgt (so ist beispielsweise Software in der Automobilelektronik mittlerweile der Innovationstreiber), doch ist die Qualitätssicherung der Software noch nicht im gleichen Ma\ 'sse durch Standards unterlegt wie in den anderen technischen Bereichen.,

[Editorial 4] "objektspektrum themenspecial: testing 2008", SIGS DATACOM, ISSN: 0945-0491, 2008.

[Editorial 3] "The Evolution of TTCN-3", Springer, Vol. 10, ISSN: 1433-2779, 2008.

[Editorial 2] "Special issue on the Fifth International Workshop of the \ERCIM\ Working Group on Formal Methods for Industrial Critical Systems", Hubert Garavel and Stefania Gnesi and Ina Kathrin Schieferdecker, Vol. 46, pp. 195--196, ISSN: 0167-6423, 2003.

[Editorial 1] "Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017)", Ina Kathrin Schieferdecker and Atif Memon and Hironori Washizaki, Wiley Online Library, Vol. 30, pp. e1757, 2020.

[Conference 138] "Enabling the Structuring, Enhancement and Creation of Urban ICT through the Extension of a Standardized Smart City Reference Model", Tcholtchev, Nikolay and Lämmel, Philipp and Scholz, Robert and Konitzer, Wojciech and Schieferdecker, Ina, 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion) pp. 121--127, 2018.

[Conference 137] "Model Transformation with Triple Graph Grammars and Non-terminal Symbols", da Silva, William and Bureck, Max and Schieferdecker, Ina and Hein, Christian, Sixth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018) pp. 114--130, 2018.

[Conference 136] "Emerging challenges in urban resilience: The resilience of digital cities", Ina Kathrin Schieferdecker, ICLEI (2018) Resilient Cities Report. Tracking local progress on the resilience targets of SDG 11. Based on the outcomes of the 9th Global Forum on Urban Resilience and Adaptation, 26 - 28 April 2018, Bonn, Germany pp. 19--20, 2018.

[Conference 135] "Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering", Armin Lunkeit and Ina Kathrin Schieferdecker, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) pp. 244--251, 2018.

[Conference 134] "Facilitating eco-systems for Smart Cities through reference architectures", Nikolay Tcholtchev and Philipp Lämmel and Robert Scholz and Ina Kathrin Schieferdecker, Magyar Jövo Internet Konferencia 2017. LXXIII. Evfolyam, 2018 pp. 10--16, 2017.A large number of activities have been conducted during the past years in the cross-domain area of Smart Cities. The research and development efforts started with various projects which aimed at opening the large amounts of data kept by the public administration – a goal which would ultimately enable various ICT based applications and services in urban environments.,

[Conference 133] "A CKAN Plugin for Data Harvesting to the Hadoop Distributed File System", Robert Scholz and Nikolay Tcholtchev and Philipp Lämmel and Ina Kathrin Schieferdecker, Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, SciTePress, pp. 47--56, ISBN: 978-989-758-243-1, 2017.

[Conference 132] "From Metadata Catalogs to Distributed Data Processing for Smart City Platforms and Services: A Study on the Interplay of CKAN and Hadoop", Robert Scholz and Nikolay Tcholtchev and Philipp Lämmel and Ina Kathrin Schieferdecker, Cloud Computing and Service Science - 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017, Revised Selected Papers (Communications in Computer and Information Science), Springer, Vol. 864, pp. 115--136, 2017.

[Conference 131] "Towards an Open Data Based ICT Reference Architecture for Smart Cities", Ina Kathrin Schieferdecker and Nikolay Tcholtchev and Pilipp Lämmel and Robert Scholz and Evanela Lapi, 2017 Conference for E-Democracy and Open Government (CeDEM) pp. 184--193, 2017.

[Conference 130] "IoT-Testware - An Eclipse Project", Ina Kathrin Schieferdecker and Sascha Kretzschmann and Axel Rennoch and Michael Wagner, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) pp. 1--8, 2017.

[Conference 129] "Enhancing Cloud based Data Platforms for Smart Cities with Authentication and Authorization Features", Philipp Lämmel and Nikolay Tcholtchev and Ina Kathrin Schieferdecker, Companion Proceedings of the 10th International Conference on Utility and Cloud Computing, UCC 2017, Austin, TX, USA, December 5-8, 2017 ACM, pp. 167--172, 2017.

[Conference 128] "Systematic Analysis of Practical Issues in Test Automation for Communication based Systems", Nikolay Tcholtchev and Martin A. Schneider and Ina Kathrin Schieferdecker, The 11th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques, TAIC PART 2016, Co-located with: ICST 2016 2016.This paper is about issues experienced along testing large-scale industrial products, with safety and security critical relevance. The challenges in testing - several thousand requirements for several product variants and various configurations - were addressed by test execution automation. However, since principal testing concepts as well as architectural concepts were ignored or poorly implemented, the test automation activities faced various difficulties within the considered projects. The current paper presents these issues in an abstracted manner and discusses possible solutions.,

[Conference 127] "Urban Data Platforms: An Overview", Ina Kathrin Schieferdecker and Nikolay Tcholtchev and Philipp Lämmel, Companion to the Proceedings of the 12th International Symposium on Open Collaboration, OpenSym 2016, Berlin, Germany, August 17-19, 2016 pp. 141--14:4, 2016.Along the increasing digitization and interconnection in almost every domain in society or business, data is growing exponentially. It is expected that the worldwide Internet traffic will triple until 2020 in comparison to 2015. In the same time, the transmitted data volume will move from 53,2 Exabytes per months to 161 Exabytes per months [Cisco, 2016]. Cities and communities can support the provisioning and usage of urban data and benefit from resulting new services for the monitoring, understanding, decision making, steering, and control. Providing urban data is also supported by the ongoing movement of opening governmental data, but goes beyond. Urban data can include data from public, industrial, scientific or private sources. Yet, the design of urban data is still ongoing and numerous initiatives and standardization efforts on smart cities and communities put the grounds for the uptake and interoperability of urban data.,

[Conference 126] "Testing the Internet of Things", Michael Felderer and Ina Kathrin Schieferdecker, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications; 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II Vol. LNCS9953, pp. 704--706, ISBN: 978-3-319-47168-6, 2016.

[Conference 125] "Internet of Systems Engineering: Simplifying the Development of Complex Engineering Systems", Michael Wagner and Ina Kathrin Schieferdecker and Tom Ritter and Christian Hein, Internet of Things - Success Stories - Series 2 IERC - European Research Cluster on the Internet of Things, pp. 78--81, 2015.

[Conference 124] "Auto-configuration of OSPFv3 routing in fixed IPv6 networks", Alexej Starschenko and Nikolay Tcholtchev and Arun Prakash and Ina Kathrin Schieferdecker and Ranganai Chaparadza, Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), 2015 7th International Congress on pp. 196--205, 2015.

[Conference 123] "Framework for Ensuring Runtime Stability of Control Loops in Multi-agent Networked Environments", Nikolay Tcholtchev and Ina Kathrin Schieferdecker, Transactions on Computational Science XXII Springer Science and Business Media, Vol. 22, pp. 64--92, 2014.The idea of autonomic computing, and accordingly autonomic networking, has drawn the attention of industry and academia during the past years. An autonomic behavior is widely understood as a control loop which is realized by an autonomic entity/agent that manages some resources, in order to improve the performance and regulate diverse operational aspects of the managed network or IT infrastructure. Self-management, realized through autonomic behaviors, is an appealing and dangerous vision at the same time. On one hand, it promises to reduce the need for human involvement in the network and system management processes. On the other hand, it bears a number of potential pitfalls that could be even dangerous to the network, the IT infrastructure, and the corresponding services. One of these pitfalls is constituted by the stability of the control loops, and correspondingly by the interference among multiple autonomic agents operating in parallel. In this paper, a novel approach to ensuring runtime synchronization and stability of multiple parallel autonomic control loops is presented. We formally model the problem of runtime action synchronization, propose different possible solutions, and provide a case study, as well as different performance measurements based on a prototype that implements our approach.,

@InProceedings{Tcholtchev2014,
author    = {Nikolay Tcholtchev and Ina Kathrin Schieferdecker},
booktitle = {Transactions on Computational Science {XXII}},
title     = {Framework for Ensuring Runtime Stability of Control Loops in Multi-agent Networked Environments},
doi       = {10.1007/978-3-642-54212-1_4},
pages     = {64--92},
publisher = {Springer Science and Business Media},
volume    = {22},
abstract  = {The idea of autonomic computing, and accordingly autonomic networking, has drawn the attention of industry and academia during the past years. An autonomic behavior is widely understood as a control loop which is realized by an autonomic entity/agent that manages some resources, in order to improve the performance and regulate diverse operational aspects of the managed network or IT infrastructure. Self-management, realized through autonomic behaviors, is an appealing and dangerous vision at the same time. On one hand, it promises to reduce the need for human involvement in the network and system management processes. On the other hand, it bears a number of potential pitfalls that could be even dangerous to the network, the IT infrastructure, and the corresponding services. One of these pitfalls is constituted by the stability of the control loops, and correspondingly by the interference among multiple autonomic agents operating in parallel. In this paper, a novel approach to ensuring runtime synchronization and stability of multiple parallel autonomic control loops is presented. We formally model the problem of runtime action synchronization, propose different possible solutions, and provide a case study, as well as different performance measurements based on a prototype that implements our approach.},
file      = {2014/TcholtchevSchieferdecker2014a - Framework for Ensuring Runtime Stability of Control Loops in Multi-agent Networked Environments.pdf},
journal   = {Transactions on Computational Science},
keywords  = {Multi-Agent Systems, Autonomic Networks, Stability, Control Loops},
type      = {conference},
year      = {2014},
}
,

[Conference 122] "The Concept of a Mobility Data Cloud: Design, Implementation and Trials", Nikolay Tcholtchev and Benjamin Dittwald and Thomas Scheel and Begüm Ilke Zilci and Danilo Schmidt and Philipp Lämmel and Jurma Jacobsen and Ina Kathrin Schieferdecker, IEEE 38th Annual Computer Software and Applications Conference, COMPSAC Workshops 2014, Vasteras, Sweden, July 21-25, 2014 pp. 192--198, 2014.The mobility data cloud is an Internet based platform for the integration of mobility related data from different data providers. It offers a framework for the acquisition, aggregation, provisioning, and analysis of mobility relevant data originating from various sources, e.g. Charging stations, gas stations, position of vehicles, battery charge condition of electric vehicles, utilization of vehicles, and data regarding public transport. These various types of data should facilitate the collaborative shared utilization of mobility resources such as electric vehicles, charging stations, etc. This paper presents the design and implementation of such an Internet based mobility data cloud. In addition, the presented prototype is evaluated based on trials in a European city.,

[Conference 121] "Security Testing Approaches - For Research, Industry and Standardization", Axel Rennoch and Ina Kathrin Schieferdecker and Jürgen Großmann, Proc. of the Intern. Conf. on Trustworthy Computing and Services Springer, pp. 397--406, ISBN: 978-3-662-43907-4, 2014.Recently, in the Security testing domain a lot of knowledge has been collected from a significant amount of research. The contribution provides an introduction to advanced security testing methods and techniques in the context of European research and standardization projects. This includes numerous guidelines and best practices that have been identified and are applied in the context of industrial case studies. In particular it addresses risk modeling, security test pattern, functional security tests as well as fuzz testing, as important contributions to systematic, automatized test approaches in research, industry and standardization.,

[Conference 120] "Assessment and visualization of metadata quality for government data", Konrad Johannes Reiche and Edzard Höfig and Ina Kathrin Schieferdecker, CeDEM 2014, International Conference for E-Democracy and Open Government. Proceedings : 21-23 May 2014, Danube University Krems, Austria pp. 335--346, ISBN: 978-3-902505-35-4, 2014.An increasing number of datasets from government, public organizations and institutions are published as open data. Metadata that describes them, are cataloged at central places to enable a better access to these datasets. Quantifying the metadata quality can help to measure the efficiency of a catalog and discover low-quality metadata records which prevent the user from finding what she is looking for. We researched and implemented a range of metrics from the field of metadata quality assessment as part of an open data platform. This paper describes the platform that automatically assesses the quality of different open government data portals using the CKAN catalog software. The results are aggregated and visualized through a web application in order to establish a continuous and sustainable monitoring service.,

[Conference 119] "Hashing of RDF Graphs and a Solution to the Blank Node Problem", Edzard Höfig and Ina Kathrin Schieferdecker, Proceedings of the 10th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, October 19, 2014. pp. 55--66, 2014.The ability to calculate hash values is fundamental for using cryptographic tools, such as digital signatures, with RDF data. Without hashing it is difficult to implement tamper-resistant attribution or provenance tracking, both important for establishing trust with open data.We propose a novel hash function for RDF graphs, which does not require altering the contents of the graph, does not need to record additional information, and does not depend on a concrete RDF syntax. We are also presenting a solution to the deterministic blank node labeling problem.,

[Conference 118] "Risk-Based Testing", Michael Felderer and Marc-Florian Wendland and Ina Kathrin Schieferdecker, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Springer Science and Business Media, pp. 274--276, ISBN: 978-3-662-45230-1, 2014.In many development projects, testing has to be done under severe pressure due to limited resources, a challenging time schedule, and the demand to guarantee security and safety of the released software system. Risk-based testing, which utilizes identified risks of a software system for testing purposes, has a high potential to improve testing in this context. It optimizes the allocation of resources and time, is a means for mitigating risks, helps to early identify critical areas, and provides decision support for the management [1, 2].,

[Conference 117] "Fokus!MBT: a multi-paradigmatic test modeling environment", Marc-Florian Wendland and Andreas Hoffmann and Ina Kathrin Schieferdecker, Proceedings of the workshop on ACadeMics Tooling with Eclipse - ACME '13 Association for Computing Machinery (ACM), 2013.UML modeling environments for doing model-based testing are often not very comfortable to use and burden some knowledge about the internals of UML to the users, respectively test engineers. Test engineers, however, are seldom experts in UML, thus, the gain of efficiency model-based testing approaches entail, is reduced by a too generic tooling. The tool Fokus!MBT, developed by the competence center MOTION of Fraunhofer FOKUS, is a multi-paradigmatic test modeling environment based on the UML Testing Profile, an OMG-adopted industry-driven notation for model-based testing. Fokus!MBT simplifies the creation and authoring of test models with methodology-specific support. It is built on top of Eclipse Papyrus, a powerful open source UML modeling environment, which, in turn, relies on the Eclipse Modeling Framework and the Graphical Modeling Framework. This paper provides deep insights into the basic concepts and technical realization of Fokus!MBT as well as into the lessons we have learned during development and application.,

[Conference 116] "Behavioral Fuzzing Operators for UML Sequence Diagrams", Martin A. Schneider and Jürgen Großmann and Nikolay Tcholtchev and Ina Kathrin Schieferdecker and Andrej Pietschker, System Analysis and Modeling: Theory and Practice Springer, pp. 88--104, ISBN: 978-3-642-36756-4, 2013.Model-based testing is a recognized method for testing the functionality of a system under test. However, it is not only the functionality of a system that has to be assessed. Also the security aspect has to be tested, especially for systems that provide interfaces to the Internet. In order to find vulnerabilities that could be exploited to break into or to crash a system, fuzzing is an established technique in industry.Model-based fuzzing complements model-based testing of functionality in order to find vulnerabilities by injecting invalid input data into the system. While it focuses on invalid input data, we present a complementary approach called behavioral fuzzing. Behavioral fuzzing does not inject invalid input data but sends an invalid sequence of messages to the system under test. We start with existing UML sequence diagrams - e.g.~functional test cases - and modify them by applying fuzzing operators in order to generate invalid sequences of messages. We present the identified fuzzing operators and propose a classification for them. A description of a case study from the ITEA-2 research project DIAMONDS as well as preliminary results are presented.,

[Conference 115] "Online Model-Based Behavioral Fuzzing", Martin A. Schneider and Jürgen Großmann and Ina Kathrin Schieferdecker and Andrej Pietschker, Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013 pp. 469--475, 2013.Fuzz testing or fuzzing is interface robustness testing by stressing the interface of a system under test (SUT) with invalid input data. It aims at finding security-relevant weaknesses in the implementation that may result in a crash of the system-under-test or anomalous behavior. Fuzzing means sending invalid input data to the SUT, the input space is usually huge. This is also true for behavioral fuzzing where invalid message sequences are submitted to the SUT. Because systems are getting more and more complex, testing a single invalid message sequence becomes more and more time consuming due to startup and initialization of the SUT. We present an approach to make the test execution for behavioral fuzz testing more efficient by generating test cases at runtime instead of before execution, focusing on interesting regions of a message sequence based on a previously conducted risk analysis and reducing the test space by integrating already retrieved test results in the test generation process.,

[Conference 114] "Metadata aggregation at GovData.de: an experience report", Florian Marienfeld and Ina Kathrin Schieferdecker and Evanela Lapi and Nikolay Tcholtchev, Proceedings of the 9th International Symposium on Open Collaboration, Hong Kong, China, August 05 - 07, 2013 Association for Computing Machinery (ACM), pp. 211--21:5, 2013.A key challenge for open data portals is the aggregation of metadata from various data catalogs (on different administrative level or from different application fields) also known as metadata harvesting. This paper describes harvesting at the pilot of the German open government portal GovData.de, which is scheduled to become the data portal for all German public administration levels. At the launch of the pilot portal in February, eleven federal, state and local data catalogs were integrated, which produced about 2,000 open data sets. In the meantime, the number of data sets increased to over 3,100 mainly due to improved harvesting capabilities of the portal. This paper discusses GovData.de metadata schema and experiences with the different harvesting techniques that are in use at GovData.de: CKAN-Harvest, CKAN-API CSW-Harvest and JSON-Dump.,

[Conference 113] "A systematic approach to risk-based testing using risk-annotated requirements models", Marc-Florian Wendland and Marco Kranz and Ina Kathrin Schieferdecker, Proceedings of International Academy, Research, and Industry Association (IARIA): The Seventh International Conference on Software Engineering Advances, ICSEA 2012 : November 18-23, 2012 - Lisbon, Portugal pp. 636--642, ISBN: 978-1-61208-230-1, 2012.Nowadays, software-intensive systems continuously pervade several areas of daily life, even critical ones, and replace established mechanical or manual solutions. Development and quality assurance methods have to ensure that these software-intensive systems are delivered both with adequate quality, optimized resources and within the scheduled time frame. The idea of risk-based testing is to prioritize testing activities to what is deemed critical for the software-intensive system. Although there is a common agreement that risk-based testing techniques ought to be rigorously applied, especially for safety- and security-critical systems, there is actually little knowledge available on how to systematically come to risk-optimized test suites. This paper presents a novel approach to risk-based testing that deals with the transition from risk management and requirements engineering to test design activities and test case generation by using models. The main contribution of the paper is the description of a methodology that allows an easy combination of test generation directives and risk level in order to generate risk-optimized test suites.,

@InProceedings{Wendland2012,
author    = {Marc{-}Florian Wendland and Marco Kranz and Ina Kathrin Schieferdecker},
booktitle = {Proceedings of International Academy, Research, and Industry Association (IARIA): The Seventh International Conference on Software Engineering Advances, ICSEA 2012 : November 18-23, 2012 - Lisbon, Portugal},
title     = {A systematic approach to risk-based testing using risk-annotated requirements models},
isbn      = {978-1-61208-230-1},
pages     = {636--642},
url       = {http://www.thinkmind.org/download.php?articleid=icsea_2012_22_50_10465},
abstract  = {Nowadays, software-intensive systems continuously pervade several areas of daily life, even critical ones, and replace established mechanical or manual solutions. Development and quality assurance methods have to ensure that these software-intensive systems are delivered both with adequate quality, optimized resources and within the scheduled time frame. The idea of risk-based testing is to prioritize testing activities to what is deemed critical for the software-intensive system. Although there is a common agreement that risk-based testing techniques ought to be rigorously applied, especially for safety- and security-critical systems, there is actually little knowledge available on how to systematically come to risk-optimized test suites. This paper presents a novel approach to risk-based testing that deals with the transition from risk management and requirements engineering to test design activities and test case generation by using models. The main contribution of the paper is the description of a methodology that allows an easy combination of test generation directives and risk level in order to generate risk-optimized test suites.},
file      = {2012/Wendland2012 - A systematic approach to risk based testing using risk annotated requirements models.pdf},
keywords  = {risk-based testing; behavior engineering; modelbased testing; requirements model; safety-critical systems},
type      = {conference},
year      = {2012},
}
,

[Conference 112] "Auto-Collaboration for optimal network resource utilization in fixed IPv6 networks", Nikolay Tcholtchev and Arun Prakash and Ina Kathrin Schieferdecker and Ranganai Chaparadza and Razvan Petre, Workshops Proceedings of the Global Communications Conference, GLOBECOM 2012, 3-7 December 2012, Anaheim, California, USA Institute of Electrical & Electronics Engineers (IEEE), pp. 807--812, 2012.Autonomic Networking is seen as one of the hopes to improve the Quality of Service (QoS) provided to end users in the Internet. Especially in the context of Video on Demand (VOD), content and network providers have to deal with the dynamics of network and server loads which can severely impair the services provided to end users. Our recent research efforts seek to provide a remedy for this issue by introducing an autonomic framework for optimal network resource utilization that allows content and network providers to cooperate, and take into account aspects of the network state as well as server loads while optimizing the services for their subscribers. The framework is specified, designed, and implemented in an IPv6 testbed that was setup by the participating partners in the course of a large scale European project. Finally, a scenario realized in this testbed is presented that illustrates the benefits of the proposed approach.,

@InProceedings{Tcholtchev2012,
author    = {Nikolay Tcholtchev and Arun Prakash and Ina Kathrin Schieferdecker and Ranganai Chaparadza and Razvan Petre},
booktitle = {Workshops Proceedings of the Global Communications Conference, {GLOBECOM} 2012, 3-7 December 2012, Anaheim, California, {USA}},
title     = {Auto-Collaboration for optimal network resource utilization in fixed {IP}v6 networks},
doi       = {10.1109/GLOCOMW.2012.6477679},
pages     = {807--812},
publisher = {Institute of Electrical & Electronics Engineers ({IEEE})},
abstract  = {Autonomic Networking is seen as one of the hopes to improve the Quality of Service (QoS) provided to end users in the Internet. Especially in the context of Video on Demand (VOD), content and network providers have to deal with the dynamics of network and server loads which can severely impair the services provided to end users. Our recent research efforts seek to provide a remedy for this issue by introducing an autonomic framework for optimal network resource utilization that allows content and network providers to cooperate, and take into account aspects of the network state as well as server loads while optimizing the services for their subscribers. The framework is specified, designed, and implemented in an IPv6 testbed that was setup by the participating partners in the course of a large scale European project. Finally, a scenario realized in this testbed is presented that illustrates the benefits of the proposed approach.},
file      = {2012/Tcholtchev2012 - Auto Collaboration for optimal network resource utilization in fixed IPv6 networks.pdf},
keywords  = {IP networks;network servers;quality of service;resource allocation;video on demand;IPv6 testbed;Internet;QoS;VOD;autocollaboration;autonomic networking;end users;fixed IPv6 networks;large scale European project;network dynamics;network providers;network state;optimal network resource utilization;quality of service;server loads;video on demand;Internet;Java;Measurement;Monitoring;Protocols;Quality of service;Servers;Auto-Collaboration;Autonomics;GANA;IPv6;Load Balancing;ONIX;QoE;QoS;Video on Demand (VOD)},
type      = {conference},
year      = {2012},
}
,

[Conference 111] "On the interplay of open data, cloud services and network providers towards electric mobility in smart cities", Nikolay Tcholtchev and Lena Farid and Florian Marienfeld and Ina Kathrin Schieferdecker and Benjamin Dittwald and Evanela Lapi, 37th Annual IEEE Conference on Local Computer Networks, Workshop Proceedings, Clearwater Beach, FL, USA, October 22-25, 2012 pp. 860--867, 2012.Quality of life in an urban environment depends strongly on ecological, social and mobility aspects. A major innovation in that context is given by the emergence of electric vehicles. Additionally, the explosive growth of social networks has shown how the Internet can be used to maintain and create communities, thereby bringing mutual benefits to the involved participants. Combining both, there is an obvious potential for the realization of collaborative electric vehicle sharing within a city. In this paper, we investigate one of the key aspects required to realize the vision of electric vehicle sharing - a cloud infrastructure for handling the required data. We propose a distributed architecture for the realization of such data cloud. Further, we demonstrate how ISP networks and the electric mobility data cloud can collaborate in order to provide efficient streaming of continuous data.,

@InProceedings{Tcholtchev2012a,
author    = {Nikolay Tcholtchev and Lena Farid and Florian Marienfeld and Ina Kathrin Schieferdecker and Benjamin Dittwald and Evanela Lapi},
booktitle = {37th Annual {IEEE} Conference on Local Computer Networks, Workshop Proceedings, Clearwater Beach, FL, USA, October 22-25, 2012},
title     = {On the interplay of open data, cloud services and network providers towards electric mobility in smart cities},
doi       = {10.1109/LCNW.2012.6424075},
pages     = {860--867},
abstract  = {Quality of life in an urban environment depends strongly on ecological, social and mobility aspects. A major innovation in that context is given by the emergence of electric vehicles. Additionally, the explosive growth of social networks has shown how the Internet can be used to maintain and create communities, thereby bringing mutual benefits to the involved participants. Combining both, there is an obvious potential for the realization of collaborative electric vehicle sharing within a city. In this paper, we investigate one of the key aspects required to realize the vision of electric vehicle sharing - a cloud infrastructure for handling the required data. We propose a distributed architecture for the realization of such data cloud. Further, we demonstrate how ISP networks and the electric mobility data cloud can collaborate in order to provide efficient streaming of continuous data.},
file      = {2012/Tcholtchev2012a - On the interplay of open data, cloud services and network providers towards electric mobility in smart cities.pdf},
keywords  = {cloud computing;electric vehicles;innovation management;resource allocation;social networking (online);traffic information systems;ISP networks;Internet;cloud infrastructure;cloud services;collaborative electric vehicle sharing realization;distributed architecture;ecological aspects;electric mobility data cloud;mobility aspects;network providers;open data;quality of life;smart cities;social aspects;social networks;urban environment;Cities and towns;Context;Distributed databases;Electric vehicles;Load management;Quality of service;Servers;Electric Mobility;Load Balancing;Open Data;Smart Cities},
type      = {conference},
year      = {2012},
}
,

[Conference 110] "Model-Based Security Testing", Ina Kathrin Schieferdecker and Jürgen Großmann and Martin Schneider, Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. Open Publishing Association, Vol. 80, pp. 1--12, ISSN: 2075-2180, 2012. Keynote Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many years, there has been little approaches that allow for specification of test cases at a higher level of abstraction, for enabling guidance on test identification and specification as well as for automated test generation. Model-based security testing (MBST) is a relatively new field and especially dedicated to the systematic and efficient specification and documentation of security test objectives, security test cases and test suites, as well as to their automated or semi-automated generation. In particular, the combination of security modelling and test generation approaches is still a challenge in research and of high interest for industrial applications. MBST includes e.g. security functional testing, model-based fuzzing, risk- and threat-oriented testing, and the usage of security test patterns. This paper provides a survey on MBST techniques and the related models as well as samples of new methods and tools that are under development in the European ITEA2-project DIAMONDS.,

[Conference 109] "(Open) Data Quality", Ina Kathrin Schieferdecker, 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012 pp. 83--84, ISSN: 0730-3157, 2012.Requirements on the quality of open data depend on the exact context of a software and has to be set specifically for the different kinds of data in software-based systems. Quality of open data characteristics according to ISTQB include aspects of : currency; relevance; consistency; reliability; correctness; and completeness.,

[Conference 108] "Model-Based Fuzz Testing", Ina Kathrin Schieferdecker, Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012 pp. 814, 2012.The European ITEA2 project DIAMONDS (Development and Industrial Application of Multi-Domain Security Testing Technologies) develops under the direction of Fraunhofer FOKUS, Berlin efficient and automated security test methods for security-critical, networked systems in various industrial domains such as industrial automation, banking and telecommunications. DIAMONDS develops methods to design objective, transparent, repeatable, and automated security tests that focus on system specifications and related risks. The project goals include the development of a security test pattern catalogue and the development of model-based security testing techniques such as risk-based testing and model-based fuzz testing. The project results are made available through publications and contributions to the standardization at ETSI and other standardization bodies. The presentation focusses on model-based fuzz testing, reviews the state of the art, compare it to similar approaches such as mutation testing, and presents first results on behaviour fuzzing for security testing.,

@InProceedings{Schieferdecker2012e,
author    = {Ina Kathrin Schieferdecker},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
title     = {Model-Based Fuzz Testing},
doi       = {10.1109/ICST.2012.180},
pages     = {814},
abstract  = {The European ITEA2 project DIAMONDS (Development and Industrial Application of Multi-Domain Security Testing Technologies) develops under the direction of Fraunhofer FOKUS, Berlin efficient and automated security test methods for security-critical, networked systems in various industrial domains such as industrial automation, banking and telecommunications. DIAMONDS develops methods to design objective, transparent, repeatable, and automated security tests that focus on system specifications and related risks. The project goals include the development of a security test pattern catalogue and the development of model-based security testing techniques such as risk-based testing and model-based fuzz testing. The project results are made available through publications and contributions to the standardization at ETSI and other standardization bodies. The presentation focusses on model-based fuzz testing, reviews the state of the art, compare it to similar approaches such as mutation testing, and presents first results on behaviour fuzzing for security testing.},
file      = {2012/Schieferdecker2012e - Model Based Fuzz Testing.pdf},
keywords  = {program testing;safety-critical software;security of data;Berlin efficient test methods;ETSI;European ITEA2 project DIAMONDS;Fraunhofer FOKUS;automated security test methods;automated security tests;industrial automation;model-based fuzz testing;model-based security testing techniques;networked systems;security test pattern catalogue development;security-critical methods;standardization bodies;Conferences;Data models;Diamond-like carbon;Lead;Security;Standardization;Testing;fuzzing;model-based testing;security testing},
type      = {conference},
year      = {2012},
}
,

[Conference 107] "Panel on Trustworthiness of Open Source, Open Data, Open Systems and Open Standards", Ina Kathrin Schieferdecker, 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012 pp. 82, ISSN: 0730-3157, 2012.A compelling direction of improving trustworthiness of software-based systems is to open their ingredients: Open source software, open data sets, open system interfaces like open technical standards allow constructing major or up to all elements of a software-based systems. That gives means to use the wisdom of the crowd to assess and evaluate the quality, security and trustworthiness of software components. In addition, the software components can mature along a continuous feedback and revision loop with the crowd.,

[Conference 106] "Rotary Dial Model - A model-driven methodology for autonomic network design", Arun Prakash and Ina Kathrin Schieferdecker and Michael Wagner and Christian Hein, Workshops Proceedings of the Global Communications Conference, GLOBECOM 2012, 3-7 December 2012, Anaheim, California, USA pp. 891--896, 2012.Designing and developing complex multi-domain systems such as autonomic systems and networks is not only a creative but also a systems engineering challenge. Current systems engineering methodologies are unsuitable, as autonomics is a multi-domain field that requires the knowledge of several domains, such as control-theory, computer networks, software-engineering, etc., and comes with its own set of requirements and challenges. We showcase why and how current systems engineering approaches fail, and advocate for an avant-garde systems engineering approach to designing safety-critical and multidomain systems, such as autonomic entities. In this paper, we introduce a new model-driven systems engineering methodology, called the Rotary Dial Model (RDM), whose functioning is inspired by the standard telephone rotary dial. We describe in detail the working of the RDM model, and showcase its robustness and flexibility for the system design process.,

[Conference 105] "Identification and Utilization of Components for a Linked Open Data Platform", Evanela Lapi and Nikolay Tcholtchev and Louay Bassbouss and Florian Marienfeld and Ina Kathrin Schieferdecker, 36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012 pp. 112--115, 2012.Open Data (OD) is an emerging trend that aims to facilitate the freedom and reuse of information. Therefore, tools, applications and platforms are required that enable the publishing and consumption of data. In this paper, we present our experience from the integration of components that should constitute an OD platform. The proposed solution is able to store datasets as linked data, to catalogue the datasets, and provides a portal with features for supporting community activities. Further, we exemplify the utilization of the proposed platform, by describing a touristic city guide web mashup that uses published Open Data. This application consumes data in machine readable format over APIs provided by the OD platform.,

[Conference 104] "Ein Metadaten-Schema für offene Daten, Dokumente und Applikationen", Evanela Lapi and Florian Marienfeld and Nikolay Tcholtchev and Jens Klessmann and Ina Kathrin Schieferdecker, 1. ogd d-ach-li konferenz, win-win-win für Verwaltung, Wirtschaft und Wissenschaft 2012.Offene Daten (auf englisch: Open Data) sind einer der wichtigsten IT-Trends der letzten Jahre, mit dem das Ziel verbunden wird, den freien Austausch und die Weiterverwendung von Daten und darauf aufbauender Mehrwert-Angebote zu erleichtern. Die bestehenden Informations- und Datenportale von Bund, Ländern und Kommunen in Deutschland sind eine gute Ausgangsbasis für den weiteren Ausbau des Angebots offener Daten in Deutschland. Politik, Verwaltung, Wirtschaft und Wissenschaft haben mit der »Dresdner Vereinbarung zum 5. Nationalen IT-Gipfel« im Dezember 2010 als einen nächsten Schritt bis 2013 den Aufbau einer zentral zugänglichen, den Interessen der NutzerInnen an einer einem einheitlichen, leichten und benutzerfreundlichen Zugriff gerecht werdenden Open-Government-Plattform mit dem Schwerpunkt auf der Bereitstellung offener Verwaltungsdaten vereinbart. Um die Aufbereitung der und den Zugang zu den Daten zu lenken und zu erleichtern, wird derzeit ein Metadaten-Schema erarbeitet, das in seinem initialen Entwurf hier vorgestellt wird.,

[Conference 103] "Comparison of Approaches to Prioritized Test Generation for Combinatorial Interaction Testing", Peter M. Kruse and Ina Kathrin Schieferdecker, Federated Conference on Computer Science and Information Systems - FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings pp. 1323--1330, 2012.Due to limited test resources, it is often necessary to prioritize and select test cases for a given system under test. Although test case prioritization is well studied and understood, its combination with test data generation is difficult and not completely solved yet. For example, the Classification Tree Method is a well established method for test data generation, however the application of prioritization techniques to it is a current research topic. We present an extension of the classification tree method that allows the generation of optimized test suites, containing test cases ordered according to their importance with respect to test goals. The presented algorithms are incorporated into the Classification Tree Editor and empirically evaluated on a set of benchmarks.,

[Conference 102] "Requirements-Driven Testing with Behavior Trees", Marc-Florian Wendland and Ina Kathrin Schieferdecker and Alain Vouffo-Feudjio, Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings Institute of Electrical & Electronics Engineers (IEEE), pp. 501--510, 2011.Requirements engineering is vital for a software development project 's success or failure. As today 's software systems are getting more and more complex, their related requirements specifications contain often hundreds, even thousands of natural language requirements. The so called behavior engineering developed by Geoff Dromey is suitable to handle the complexity of large-scale software requirements specification by relying on a scalable requirements formalization methodology. The outcome of that methodology is a requirements model in the behavior tree notation, describing the intended, externally visible behavior of the system. By deliberately extending the behavior engineering methodology with testing activities, those requirements models can be further exploited for testing purposes like system and acceptance level testing. This also addresses the common challenge in model-based testing scenarios, namely the availability of a meaningful test model. By reusing a testable requirements model, both the system and test model can be derived from the same specification, since all requirements are intended to be captured in the requirements model properly and consistently. In this paper, we present an approach of how behavior trees can be extended with testing activities to leverage the definition of test requirements. We also briefly discuss how augmenting test-related information to make the requirements model more complete in terms of the IEEE830 standard.,

@InProceedings{Wendland2011a,
author    = {Marc{-}Florian Wendland and Ina Kathrin Schieferdecker and Alain Vouffo{-}Feudjio},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings},
title     = {Requirements-Driven Testing with Behavior Trees},
doi       = {10.1109/ICSTW.2011.25},
pages     = {501--510},
publisher = {Institute of Electrical & Electronics Engineers ({IEEE})},
abstract  = {Requirements engineering is vital for a software development project`s success or failure. As today`s software systems are getting more and more complex, their related requirements specifications contain often hundreds, even thousands of natural language requirements. The so called behavior engineering developed by Geoff Dromey is suitable to handle the complexity of large-scale software requirements specification by relying on a scalable requirements formalization methodology. The outcome of that methodology is a requirements model in the behavior tree notation, describing the intended, externally visible behavior of the system. By deliberately extending the behavior engineering methodology with testing activities, those requirements models can be further exploited for testing purposes like system and acceptance level testing. This also addresses the common challenge in model-based testing scenarios, namely the availability of a meaningful test model. By reusing a testable requirements model, both the system and test model can be derived from the same specification, since all requirements are intended to be captured in the requirements model properly and consistently. In this paper, we present an approach of how behavior trees can be extended with testing activities to leverage the definition of test requirements. We also briefly discuss how augmenting test-related information to make the requirements model more complete in terms of the IEEE830 standard.},
file      = {2011/Wendland2011a - Requirements Driven Testing with Behavior Trees.pdf},
keywords  = {IEEE standards;formal specification;program testing;IEEE830 standard;acceptance level testing;behavior engineering methodology;behavior tree;model-based testing;requirements engineering;requirements formalization methodology;requirements-driven testing;software requirement specification;system testing;testable requirements model;Broadcasting;Connectors;Markup languages;Natural languages;Safety;Software;Testing;behavior engineering;behavior trees;model-based testing;requirements-driven testing;testability of requirements;validation;verification},
type      = {conference},
year      = {2011},
}
,

[Conference 101] "Defamation-Free Networks through User-Centered Data Control", Nadim Sarrouh and Florian Eilers and Uwe Nestmann and Ina Kathrin Schieferdecker, Security and Trust Management Springer, pp. 179--193, ISBN: 978-3-642-22443-0, 2011.Existing online social networks hardly care about users\textquoteright privacy rights. In particular, they do not permit users to keep control over \textquotedbllefttheir\textquotedblright data. By \textquotedbllefttheir\textquotedblright data, we denote data that refers to the respective user as an identifiable object within (textual, audio, image or video) media. The well-known concept of \textquotedblleftusage control\textquotedblright employs a usage rights\textquoteright perspective (e.g. DRM), but it does not explicitly deal with privacy. In this paper, we instead propose the concept of \textquotedblleftdata control\textquotedblright which e,

[Conference 100] "On the performance of UML state machine interpretation at runtime", Edzard Höfig and Peter H. Deussen and Ina Kathrin Schieferdecker, 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011 Association for Computing Machinery (ACM), pp. 118--127, 2011.Modelling system behaviour by means of UML Behavioral State Machines is an established practice in software engineering. Usually, code generation is employed to create a system 's software components. Although this approach yields software with a good runtime performance, the resulting system behaviour is static. Changes to the behaviour model necessarily provoke an iteration in the code generation workflow and a re-deployment of the generated artefacts. In the area of autonomic systems engineering, it is assumed that systems are able to adapt their runtime behaviour in response to a changing context. Thus, the constraints imposed by a code generation approach make runtime adaptation difficult, if not impossible. This article investigates a solution to this problem by employing interpretation techniques for the runtime execution of UML State Machines, enabling the adaptability of a system 's runtime behaviour on the level of single model elements. This is done by devising concepts for behaviour model interpretation, which are then used in a proof-of-concept implementation to demonstrate the feasibility of the approach. For a quantitative evaluation we provide a performance comparison between the proof-of-concept implementation and generated code for a number of benchmark models. We find that UML State Machine interpretation has a performance overhead when compared with static code generation, but found it to be adequate for the majority of situations, except when dealing with high-throughput or delay-sensitive data.,

@InProceedings{Hoefig2011,
author    = {Edzard Höfig and Peter H. Deussen and Ina Kathrin Schieferdecker},
booktitle = {2011 {ICSE} Symposium on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011},
title     = {On the performance of {UML} state machine interpretation at runtime},
doi       = {10.1145/1988008.1988025},
pages     = {118--127},
publisher = {Association for Computing Machinery ({ACM})},
abstract  = {Modelling system behaviour by means of UML Behavioral State Machines is an established practice in software engineering. Usually, code generation is employed to create a system`s software components. Although this approach yields software with a good runtime performance, the resulting system behaviour is static. Changes to the behaviour model necessarily provoke an iteration in the code generation workflow and a re-deployment of the generated artefacts. In the area of autonomic systems engineering, it is assumed that systems are able to adapt their runtime behaviour in response to a changing context. Thus, the constraints imposed by a code generation approach make runtime adaptation difficult, if not impossible. This article investigates a solution to this problem by employing interpretation techniques for the runtime execution of UML State Machines, enabling the adaptability of a system`s runtime behaviour on the level of single model elements. This is done by devising concepts for behaviour model interpretation, which are then used in a proof-of-concept implementation to demonstrate the feasibility of the approach. For a quantitative evaluation we provide a performance comparison between the proof-of-concept implementation and generated code for a number of benchmark models. We find that UML State Machine interpretation has a performance overhead when compared with static code generation, but found it to be adequate for the majority of situations, except when dealing with high-throughput or delay-sensitive data.},
file      = {2011/Hoefig2011 - On the performance of UML state machine interpretation at runtime.pdf},
keywords  = {UML state machine, Models at runtime, System adaptation},
type      = {conference},
year      = {2011},
}
,

[Conference 99] "Automated Java GUI Modeling for Model-Based Testing Purposes", Pekka Aho and Nadja Menz and Tony Räty and Ina Kathrin Schieferdecker, Proc. of the Eighth Intern. Conf. on Information Technology: New Generations (ITNG), 2011 IEEE, pp. 268--273, 2011.Advanced methods and tools for GUI software development allow a rapid and iterative process of prototyping and usability testing. Unfortunately, even with the support of test automation tools, testing of GUI software requires a lot of manual work, especially when the application under test is changing rapidly. In this paper we present an improved method and tool support for automated test modeling of Java GUI applications for model-based testing (MBT) purposes. The implemented GUI Driver tool generates structural models combined with a GUI state model presenting the behavior of the GUI application that is executed and observed automatically. The GUI Driver tool is combined with an open source MBT tool to form a tool chain to support automated testing of Java GUI applications. The models generated by the GUI Driver are used to generate test sequences with MBT tool, and the test sequences are then executed with the GUI Driver to generate a test report.,

[Conference 98] "Design of a Test Framework for Automated Interoperability Testing of Healthcare Information Systems", Diana Elena Vega and Ina Kathrin Schieferdecker and George Din, The Second International Conference on eHealth, Telemedicine, and Social Medicine, eTELEMED 2010, 10-16 February 2010, St. Maarten, Netherlands Antilles pp. 134--140, 2010. Best Paper Award One of the challenges of evolving healthcare information systems used in healthcare domain is their interoperability. Interoperability not only permits healthcare institutes to take advantage of using heterogeneous solutions from different vendors but it also offers the basis for creating a larger range of services at the edge of medicine/healthcare and information technology. New services can be created in a consistent way based on common approaches of structuring and representing healthcare data. This paper presents a test framework for testing interoperability of eHealth systems. As a major result, the test framework is designed for test automation and extendability with respect to test configurations and test cases.,

[Conference 97] "Application of TTCN-3 test language to testing information systems in eHealth domain", Diana Vega and George Din and Ina Kathrin Schieferdecker, Proc. of the Intern. Conf. on Multimedia Computing and Information Technology (MCIT), 2010 Institute of Electrical & Electronics Engineers (IEEE), pp. 21--24, 2010.The adoption of standards in eHealth domain, such as Health Level 7 (HL7) used for data representation, and Integrating Healthcare Enterprise (IHE) for describing interactions between actors, is an important step in enabling healthcare systems to interoperate with each other. This paper addresses the challenges of interoperability testing of different HL7 based systems and presents a test framework based on TTCN-3 language.,

[Conference 96] "Testing Environment for Real-Time Communications Intensive Systems", Diana Alina Serbanescu and Ina Kathrin Schieferdecker, Proc. of the Sixth Intern. Conf. on Networking and Services (ICNS), 2010 pp. 368--374, 2010.In the engineering world, more and more accent is put on the real-time embedded applications. They are used almost everywhere, in domains as: automotive, robotics, health, avionics, spacecraft, industrial control, etc.. Often, on the proper functionality of real-time systems, depends the well functioning of a whole system and their mistakes might have fatal consequences. Often such real-time applications have additional requirements for a fast and reliable communication with the rest of the system they are part from. In order to prohibit misbehavior of such a critical application, proper tests should be developed and applied to it. Although real-time application development gained so much ground and a lot of tools and paradigms for real-time emerged, there are still little effort invested in the development of tools for software real-time testing. In this paper we propose a testing framework solution for real-time, based on a standardized testing language, that was used with success by now in many domains, as telecommunications, automotive, health, etc.. This language is named TTCN-3 - the acronym comes from Testing and Test Control Notation - and it was developed by European Telecommunications Standards Institute (ETSI). The purpose of this paper is to demonstrate that the proposed test framework achieves both a time deterministic behavior and high performance at the communication points with the System Under Test(SUT).,

@InProceedings{Serbanescu2010,
author    = {Diana Alina Serbanescu and Ina Kathrin Schieferdecker},
booktitle = {Proc. of the Sixth Intern. Conf. on Networking and Services (ICNS), 2010},
title     = {Testing Environment for Real-Time Communications Intensive Systems},
doi       = {10.1109/ICNS.2010.58},
pages     = {368--374},
abstract  = {In the engineering world, more and more accent is put on the real-time embedded applications. They are used almost everywhere, in domains as: automotive, robotics, health, avionics, spacecraft, industrial control, etc.. Often, on the proper functionality of real-time systems, depends the well functioning of a whole system and their mistakes might have fatal consequences. Often such real-time applications have additional requirements for a fast and reliable communication with the rest of the system they are part from. In order to prohibit misbehavior of such a critical application, proper tests should be developed and applied to it. Although real-time application development gained so much ground and a lot of tools and paradigms for real-time emerged, there are still little effort invested in the development of tools for software real-time testing. In this paper we propose a testing framework solution for real-time, based on a standardized testing language, that was used with success by now in many domains, as telecommunications, automotive, health, etc.. This language is named TTCN-3 - the acronym comes from Testing and Test Control Notation - and it was developed by European Telecommunications Standards Institute (ETSI). The purpose of this paper is to demonstrate that the proposed test framework achieves both a time deterministic behavior and high performance at the communication points with the System Under Test(SUT).},
file      = {2010/Serbanescu2010 - Testing Environment for Real Time Communications Intensive Systems.pdf},
keywords  = {automotive electronics;avionics;embedded systems;program testing;robots;space vehicles;telecommunication standards;European Telecommunications Standards Institute ETSI;TTCN-3;automotive;avionics;industrial control;real-time communications intensive systems;real-time embedded applications;reliable communication;robotics;software real-time testing;spacecraft;standardized testing language;system under test;testing and test control notation;testing environment;Aerospace electronics;Aerospace engineering;Application software;Automotive engineering;Orbital robotics;Real time systems;Service robots;System testing;Systems engineering and theory;Telecommunication standards;TTCN-3;communications intensive;embedded;real-time;testing},
type      = {conference},
year      = {2010},
}
,

[Conference 95] "Test Automation with TTCN-3 - State of the Art and a Future Perspective", Ina Kathrin Schieferdecker, Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings pp. 1--14, 2010.Test automation encompasses all activities to automate various steps in the overall testing process including automation of test management, test generation, or test execution. The standardized Testing and Test Control Notation (TTCN-3) addresses selected challenges by defining a test specification language and a test system architecture that enables the implementation and execution of TTCN-3 test suites. Over the years, the standard has continuously being maintained and evolved. For example, concepts for static test configurations or for advanced parameterization and typing have been defined. The paper reviews the history and current status of TTCN-3 and concludes by giving an overview on recent extensions of TTCN-3 and future plans.,

[Conference 94] "Evaluation of Trust Policies by Simulation", Cosmin Mogos and Ina Kathrin Schieferdecker, ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2 - Agents, Valencia, Spain, January 22-24, 2010 Scitepress, pp. 178--183, ISBN: 978-989-674-022-1, 2010.The evolution of the World Wide Web has created a new environment where people can interact, e.g. talk to their friends, shop online, conduct business meetings, etc. Trust and trustworthiness are central notions in human interaction; in particular, they represent important criteria for every Internet user because of the multitude of choices they are faced with when choosing whom to interact with. This paper presents a simulation model implemented in Ptolemy II for the simulative analysis of trust policies in networked environments, called communication space (CS). The model reflects both the CS structure e.g. principals, roles, and event structure, and the interactions between the elements of CSs. Principal behavior is based on Markov chains and on criteria for selecting peers that initiate transactions. We investigate the efficiency of trust policies based on local observations and evaluation of interactions by examining a case study based on the popular auction site eBay.,

[Conference 93] "Model-Based Integration Testing of Enterprise Services", Sebastian Wieczorek and Alin Stefanescu and Ina Kathrin Schieferdecker, Testing: Academic and Industrial Conference - Practice and Research Techniques, 2009. TAIC PART '09. pp. 56--60, 2009.The success of service-oriented architectures (SOA) depends on faultless and seamless service integration. Formal modeling of global communication protocols between services enables a model-based integration testing (MBIT) approach. In this paper we present an MBIT approach based on SAP proprietary choreography models called message choreography models (MCM). We explain how MBIT fits into the SAP testing methodology for SOA and give some insights into the experience we gained from the work.,

[Conference 92] "Viewpoints for modeling choreographies in service-oriented architectures", Sebastian Wieczorek and Andreas Roth and Alin Stefanescu and Vitaly Kozyura and Anis Charfi and Frank Michael Kraft and Ina Kathrin Schieferdecker, Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009, Cambridge, UK, 14-17 September 2009 pp. 11--20, 2009.Component integration plays a decisive role in service-oriented architectures (SOAs). The technical implementation must faithfully reflect business and enterprise integration requirements. This implies a good understanding of the globally observable message choreography but also of how messages are handled by the involved components and by the SOA middleware. In this paper, we present a solution to the problem of keeping global and local viewpoints in synchronization via a common message choreography metamodel. As main contribution we shape various interpretations of global choreographies, which were left unspecified in state-of-the-art choreography approaches. We have implemented a message choreography modeling (MCM) environment incorporating these contributions. MCM seamlessly complements existing models at SAP. We show how service integration experts, architects, and testers can benefit from our approach that enables model-based integration testing and model verification facilities.,

@InProceedings{Wieczorek2009b,
author    = {Sebastian Wieczorek and Andreas Roth and Alin Stefanescu and Vitaly Kozyura and Anis Charfi and Frank Michael Kraft and Ina Kathrin Schieferdecker},
booktitle = {Joint Working {IEEE/IFIP} Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, {WICSA/ECSA} 2009, Cambridge, UK, 14-17 September 2009},
title     = {Viewpoints for modeling choreographies in service-oriented architectures},
doi       = {10.1109/WICSA.2009.5290787},
pages     = {11--20},
abstract  = {Component integration plays a decisive role in service-oriented architectures (SOAs). The technical implementation must faithfully reflect business and enterprise integration requirements. This implies a good understanding of the globally observable message choreography but also of how messages are handled by the involved components and by the SOA middleware. In this paper, we present a solution to the problem of keeping global and local viewpoints in synchronization via a common message choreography metamodel. As main contribution we shape various interpretations of global choreographies, which were left unspecified in state-of-the-art choreography approaches. We have implemented a message choreography modeling (MCM) environment incorporating these contributions. MCM seamlessly complements existing models at SAP. We show how service integration experts, architects, and testers can benefit from our approach that enables model-based integration testing and model verification facilities.},
file      = {2009/Wieczorek2009b - Viewpoints for modeling choreographies in service oriented architectures.pdf},
keywords  = {business data processing;enterprise resource planning;middleware;software architecture;SOA;message choreography metamodel;service-oriented architecture;Collaboration;Communication channels;Enterprise resource planning;Middleware;Service oriented architecture;Shape;Simple object access protocol;Software systems;Testing;XML},
type      = {conference},
year      = {2009},
}
,

[Conference 91] "Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models", Sebastian Wieczorek and Vitaly Kozyura and Andreas Roth and Michael Leuschel and Jens Bendisposto and Daniel Plagge and Ina Kathrin Schieferdecker, Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings pp. 179--194, 2009.Choreography models describe the communication protocols between services. Testing of service choreographies is an important task for the quality assurance of service-based systems as used e.g. in the context of service-oriented architectures (SOA). The formal modeling of service choreographies enables a model-based integration testing (MBIT) approach. We present MBIT methods for our service choreography modeling approach called Message Choreography Models (MCM). For the model-based testing of service choreographies, MCMs are translated into Event-B models and used as input for our test generator which uses the model checker ProB.,

[Conference 90] "Test Automation Design Patterns for Reactive Software Systems", Alain Vouffo-Feudjio and Ina Kathrin Schieferdecker, EuroPLoP 2009: 14th Annual European Conference on Pattern Languages of Programming, Irsee, Germany, July 8-12, 2009 2009.Patterns have been successfully applied in software development to improve the development process, by facilitating reuse, communication and documentation of sound solutions. However, the testing domain is yet to benefit from a similar approach. This although, with the growing complexity of test automation solutions, identifying and instrumenting patterns in test design to facilitate reuse appears to be a promising approach for shortening the development cycle and save costs. This paper presents a collection of patterns for designing test automation solutions for reactive software systems and reports on first experiences of applying those patterns in a case study.,

[Conference 89] "A Pattern Language for Test Modelling for Reactive Software Systems", Alain Vouffo-Feudjio and I. Schieferdecker, Conference Proceedings of the 14th European Conference on Pattern Languages of Programs, EuroPLoP 2009, July 8-12, Irsee Monastery, Bavaria, Germany pp. E6-1 -- E6-26, 2009.Patterns have been successfully applied in product software development to improve the development process, by facilitating reuse, communication and documentation of sound solutions. However, the testing domain is yet to benefit from a similar approach. This although, identifying and instrumenting patterns in test modelling to facilitate reuse appears to be a promising approach for reducing the test development cycle. This paper presents a pattern language for test modelling, i.e. a collection of patterns and good practices known for improving the test development process towards more efficiency and shorter development cycles. Further, the paper presents first experiences on applying those patterns in a case study.,

[Conference 88] "Ensuring quality of Web applications by client-side testing using TTCN-3", Cosmin Rentea and Ina Kathrin Schieferdecker and Valentin Cristea, Proceedings of the 1st Workshop on Quality Assessment in Web, San Sebastian, Spain, June 22, 2009 2009.Although there are many test systems and languages which were designed and tailored specifically for the Web, the versatility of standardized test languages makes them good candidates for such testing activities. TTCN-3 is a standardized test language and test architecture for distributed reactive black-box testing. In this paper, we present a framework for testing Web applications and Web services using TTCN-3 as language of choice. Besides this abstract test layer, we have developed a test adapter and codec that permit seamless integration and usage of browser simulators while providing for functional testing as well as non-functional testing (e.g. distributed load-testing, security testing). The capabilities were proved for certain proof-of-concept web applications; a case study illustrates the relevance of the framework in the context of quality assessment and testing.,

[Conference 87] "Software service engineering: Tenets and challenges", Willem-Jan van den Heuvel and Olaf Zimmermann and Frank Leymann and Patricia Lago and Ina Kathrin Schieferdecker and Uwe Zdun and Paris Avgeriou, International ICSE Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2009, 18-19 May 2009, Vancouver, BC, Canada pp. 26--33, 2009.Service-Oriented Architecture (SOA) constitutes a modern, standards-based and technology-independent paradigm and architectural style for distributed enterprise computing. The SOA style promotes the publishing, discovery, and binding of loosely-coupled, network-accessible software services. With SOA systems operating in distributed and heterogeneous execution environments, the engineers of such systems are confined by the limits of traditional software engineering. In this position paper, we scrutinize the fundamental tenets underpinning the development and maintenance of SOA systems. In particular, we introduce software service engineering as an emerging discipline that entails a departure from traditional software engineering disciplines, embracing the dasiaopen world assumptionpsila. We characterize software service engineering via seven defining tenets. Lastly, we survey related research challenges.,

@InProceedings{Heuvel2009,
author       = {Willem{-}Jan van den Heuvel and Olaf Zimmermann and Frank Leymann and Patricia Lago and Ina Kathrin Schieferdecker and Uwe Zdun and Paris Avgeriou},
booktitle    = {International {ICSE} Workshop on Principles of Engineering Service-Oriented Systems, {PESOS} 2009, 18-19 May 2009, Vancouver, BC, Canada},
title        = {Software service engineering: Tenets and challenges},
doi          = {10.1109/PESOS.2009.5068816},
organization = {IEEE Computer Society},
pages        = {26--33},
abstract     = {Service-Oriented Architecture (SOA) constitutes a modern, standards-based and technology-independent paradigm and architectural style for distributed enterprise computing. The SOA style promotes the publishing, discovery, and binding of loosely-coupled, network-accessible software services. With SOA systems operating in distributed and heterogeneous execution environments, the engineers of such systems are confined by the limits of traditional software engineering. In this position paper, we scrutinize the fundamental tenets underpinning the development and maintenance of SOA systems. In particular, we introduce software service engineering as an emerging discipline that entails a departure from traditional software engineering disciplines, embracing the dasiaopen world assumptionpsila. We characterize software service engineering via seven defining tenets. Lastly, we survey related research challenges.},
file         = {2009/Heuvel2009 - Software Service Engineering_ Tenets and Challenges.pdf},
keywords     = {Web services;business data processing;software architecture;software maintenance;SOA system maintenance;business process;distributed enterprise computing;heterogeneous execution environment;service-oriented architecture;software architectural style;software service engineering;technology-independent paradigm;Application software;Computer architecture;Computer industry;Contracts;Distributed computing;Publishing;Service oriented architecture;Software engineering;Software maintenance;Systems engineering and theory},
type         = {conference},
year         = {2009},
}
,

[Conference 86] "Testing Embedded Real Time Systems with TTCN-3", Juergen Großmann and Diana Alina Serbanescu and Ina Kathrin Schieferdecker, Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009 pp. 81--90, 2009. Most Influential Paper Award, Category Practical Impact, awarded at the 12th IEEE International Conference in Software Testing, Verification and Validation (ICST 2019) The problems of testing software based systems that, like automobiles, steadily increase in complexity are still not solved. To cope with the requirements and complexities of today 's systems, adequate test solutions are needed, which at least feature a minimum of flexibility, reusability and abstraction. The Testing and Test Control Notation TTCN-3 is a test specification language, which was originally developed to meet the requirements of testing telecommunication systems. The language is modular, well-structured, standardized and supports testing of communicating systems. However, the correctness of a large number of embedded systems can not be assessed by checking functional requirements only. In addition to that non-functional requirements, especially time related input-output behavior, have to be considered. The current version of TTCN-3 has only limited capabilities for testing such non-functional properties. To overcome these limitations we will extend TTCN-3 with a small set of specific language means that are dedicated to check real-time properties of embedded system. We will explain the syntax and semantics of the new constructs, compare our solution with the expressiveness of standard TTCN-3 and, as a proof of concept, provide a small example from the automotive domain that particularly motivate the use of TTCN-3 in the context of AUTOSAR.,

@InProceedings{Grossmann2009,
author    = {Juergen Großmann and Diana Alina Serbanescu and Ina Kathrin Schieferdecker},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
title     = {Testing Embedded Real Time Systems with {TTCN-3}},
doi       = {10.1109/ICST.2009.37},
pages     = {81--90},
abstract  = {The problems of testing software based systems that, like automobiles, steadily increase in complexity are still not solved. To cope with the requirements and complexities of today`s systems, adequate test solutions are needed, which at least feature a minimum of flexibility, reusability and abstraction. The Testing and Test Control Notation TTCN-3 is a test specification language, which was originally developed to meet the requirements of testing telecommunication systems. The language is modular, well-structured, standardized and supports testing of communicating systems. However, the correctness of a large number of embedded systems can not be assessed by checking functional requirements only. In addition to that non-functional requirements, especially time related input-output behavior, have to be considered. The current version of TTCN-3 has only limited capabilities for testing such non-functional properties. To overcome these limitations we will extend TTCN-3 with a small set of specific language means that are dedicated to check real-time properties of embedded system. We will explain the syntax and semantics of the new constructs, compare our solution with the expressiveness of standard TTCN-3 and, as a proof of concept, provide a small example from the automotive domain that particularly motivate the use of TTCN-3 in the context of AUTOSAR.},
file      = {2009/Grossmann2009 - Testing Embedded Real Time Systems with TTCN 3.pdf},
keywords  = {embedded systems;formal specification;program testing;specification languages;embedded real time systems testing;functional requirements checking;software testing;specific language set;test specification language;Automobiles;Automotive engineering;Control systems;Embedded system;Real time systems;Software systems;Software testing;Specification languages;System testing;Telecommunication control;automotive;real-time;testing},
type      = {conference},
year      = {2009},
award={Most Influential Paper Award, Category Practical Impact, awarded at the 12th IEEE International Conference in Software Testing, Verification and Validation ({ICST} 2019)},
}
,

[Conference 85] "Implementation of the UniFAFF framework for Autonomic Fault-Management in ANA Networks", Ranganai Chaparadza and Nikolay Tcholtchev and Ina Kathrin Schieferdecker, Third International Conference on the Latest Advances in Networks, ICLAN 2008. Proceedings : Toulouse, France, December10-12, 2008 pp. 75--81, 2009.Research in the area of Self-Managing Networks is on the rise. Some research initiatives are calling for cleanslate/revolutionary designs of future networks (e.g. the future internet) while some initiatives are calling for an evolutionary approach and are focused on making today\ 's networks evolve by introducing new communication paradigms into the network models and architectures in an incremental way. For both types of initiatives towards the design of future networks, one of the most important questions being raised is: \enquoteHow can the well known and very successful FCAPS network management framework be adopted and extended as necessitated by emerging network architecture designs for Self-Managing Networks?. Recently, a framework called UniFAFF has emerged, that answers the posed question with respect to moving from today\ 's Fault-Management whose processes are not autonomic, to making Fault-Management processes become autonomic as necessitated by Self-Managing Networks. UniFAFF stands for Unified Framework for Implementing Autonomic Fault-Management and Failure-Detection for Self-Managing Networks. This paper reports on the first attempt to implement the UniFAFF framework for a clean-slate type of network design — namely the ANA network architectural design.,

@InProceedings{Chaparadza2009,
author    = {Ranganai Chaparadza and Nikolay Tcholtchev and Ina Kathrin Schieferdecker},
booktitle = {Third International Conference on the Latest Advances in Networks, ICLAN 2008. Proceedings : Toulouse, France, December10-12, 2008},
title     = {Implementation of the UniFAFF framework for Autonomic Fault-Management in ANA Networks},
editor    = {Beylot, A.-L.},
pages     = {75--81},
abstract  = {Research in the area of Self-Managing Networks is on the rise. Some research initiatives are calling for cleanslate/revolutionary designs of future networks (e.g. the future internet) while some initiatives are calling for an evolutionary approach and are focused on making today\`s networks evolve by introducing new communication paradigms into the network models and architectures in an incremental way. For both types of initiatives towards the design of future networks, one of the most important questions being raised is: \enquote{How can the well known and very successful FCAPS network management framework be adopted and extended as necessitated by emerging network architecture designs for Self-Managing Networks?}. Recently, a framework called UniFAFF has emerged, that answers the posed question with respect to moving from today\`s Fault-Management whose processes are not autonomic, to making Fault-Management processes become autonomic as necessitated by Self-Managing Networks. UniFAFF stands for Unified Framework for Implementing Autonomic Fault-Management and Failure-Detection for Self-Managing Networks. This paper reports on the first attempt to implement the UniFAFF framework for a clean-slate type of network design — namely the ANA network architectural design.},
file      = {2009/Chaparadza2009 - Implementation of the UniFAFF Framework for Autonomic Fault Management in ANA Networks.pdf},
keywords  = {self-managing network; autonomic network architecture; autonomic fault-management; autonomic failure detection},
type      = {conference},
year      = {2009},
}
,

[Conference 84] "Systematic Test Data Generation for Embedded Software", Justyna Zander-Nowicka and Xuezheng Xiong and Ina Kathrin Schieferdecker, Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes pp. 164--170, 2008.

[Conference 83] "Quality of Test Specification by Application of Patterns", Justyna Zander-Nowicka and Pieter J. Mosterman and Ina Kathrin Schieferdecker, Proceedings of the 15th Conference on Pattern Languages of Programs, Nashville, Tennessee, USA (PLoP '08), ACM, pp. 31--3:6, New York, NY, USA, ISBN: 978-1-60558-151-4, 2008.

[Conference 82] "Test Data Provision for ERP Systems", Sebastian Wieczorek and Alin Stefanescu and Ina Kathrin Schieferdecker, First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008 pp. 396--403, 2008.Software development and testing of enterprise resource planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematically test ERP systems due to the involved complexity, an effective testing approach should be automated, also requiring that the appropriate test data has to be provided alongside. In this paper we identify four main challenges regarding the provision of test data for automatic testing of ERP software: system test data supply, system test data stability, input test data constraints and test data correlation. Several possible solutions to these challenges are discussed. We conclude with an outlook to possible research activities.,

[Conference 81] "A TTCN-3-based test automation framework for HL7-based applications and components", Diana Vega and Ina Kathrin Schieferdecker and George Din, Setting Quality Standards. CONQUEST 2008, 11th International Conference on Quality Engineering in Software Technology. Proceedings : Potsdam 2008, 24. bis 26. September 2008 dpunkt Verlag, pp. 181--194, ISBN: 978-3-89864-567-6, 2008.Information systems used in health care use more and more a common approach of structuring and representing the health care data. One of the standards ad-dressing such an approach is HL7 Standard (Health Level Seven) [HL7 08]. It supports the inter-communication of various components in different medical facilities known as HIS (Healthcare Information Systems). So far, little attention has been given to a common methodology for assuring the quality of HIS systems and their testing. In this paper we present a test framework for HIS-based health care applications, which is based on the standardized test technology TTCN-3 providing both a testing language for specifying tests and a test architecture for the automated execution of tests. TTCN-3 has been successfully applied to test applications in telecommunication, automotive, etc., its application for health care systems is however in the beginning. We show how TTCN-3 can be applied to analyze medical information and how existent TTCN-3 based test methodologies can be re-used in the health care area. Due to the increased level of complexity of medical information used in HIS-based systems, manual testing is almost impossible and a very tedious task. Therefore, our framework aims at a higher degree of test automation.,

@InProceedings{Vega2008,
author    = {Diana Vega and Ina Kathrin Schieferdecker and George Din},
booktitle = {Setting Quality Standards. CONQUEST 2008, 11th International Conference on Quality Engineering in Software Technology. Proceedings : Potsdam 2008, 24. bis 26. September 2008},
title     = {A {TTCN-3}-based test automation framework for {HL7}-based applications and components},
isbn      = {978-3-89864-567-6},
pages     = {181--194},
publisher = {dpunkt Verlag},
url       = {http://publica.fraunhofer.de/documents/N-118024.html},
abstract  = {Information systems used in health care use more and more a common approach of structuring and representing the health care data. One of the standards ad-dressing such an approach is HL7 Standard (Health Level Seven) [HL7 08]. It supports the inter-communication of various components in different medical facilities known as HIS (Healthcare Information Systems). So far, little attention has been given to a common methodology for assuring the quality of HIS systems and their testing. In this paper we present a test framework for HIS-based health care applications, which is based on the standardized test technology TTCN-3 providing both a testing language for specifying tests and a test architecture for the automated execution of tests. TTCN-3 has been successfully applied to test applications in telecommunication, automotive, etc., its application for health care systems is however in the beginning.  We show how TTCN-3 can be applied to analyze medical information and how existent TTCN-3 based test methodologies can be re-used in the health care area. Due to the increased level of complexity of medical information used in HIS-based systems, manual testing is almost impossible and a very tedious task. Therefore, our framework aims at a higher degree of test automation.},
file      = {2008/Vega2008 - A TTCN 3 based test automation framework for HL7 based applications and components.pdf},
type      = {conference},
year      = {2008},
}
,

[Conference 80] "Application of Clustering Methods for Analysing of TTCN-3 Test Data Quality", Diana Vega and George Din and Stefan Taranu and Ina Kathrin Schieferdecker, Proceedings of the Third International Conference on Software Engineering Advances, ICSEA 2008, October 26-31, 2008, Sliema, Malta pp. 237--244, 2008.The use of the standardised testing notation, testing and test control notation (TTCN-3) language has increased continuously over the last years. Many test suites of large sizes covering different domains exist. Therefore, it becomes important to provide the TTCN-3 community with methods and tools to evaluate the quality of tests. This paper presents the idea of evaluating the quality of the test data stimuli by using a data clustering method and measuring the coverage related to data clusters. A cluster contains stimuli which are considered similar for the system under test (SUT) behaviour; that means that each stimuli within a cluster should provide similar results from the test point of view.,

[Conference 79] "TTCN-3~Test Data Analyser Using Constraint Programming", Diana Vega and George Din and Ina Kathrin Schieferdecker, Proc. of the 19th Intern. Conf. on Systems Engineering, 2008. ICSENG '08 pp. 498--507, 2008.This paper presents the idea of analyzing and refining the test data variance computation as a method to determine the quality of TTCN-3 tests. TTCN-3 as the only internationally standardized testing language is being used extensively by industry. A large amount of functional test specifications are written in this language. For this reason, a sensible issue is the quality analysis of these specifications. Data variance characterizes the test data distribution over the test system interface. TTCN-3 template distance constitutes the criterion to quantify the variance: "similar" and "different enough" test data. Due to the high flexibility of the language, the stimuli templates to be compared may not only contain concret evalues but also variables, function calls, parameters, values which are known at runtime only, etc. Therefore, we combine constraint programming (CP) with static analysis of TTCN-3 test suites targeting a realistic template solving. We name template constraint an expression whose value (or domain restrictions) can only be determined by looking at the execution paths in the analyzed test behavior. This method leads to a better computation of the data distance and, thus, to a better refinement of similarity classes. The approach is illustrated by an example which shows how data varies when the distance is computed taking into account the template constraints.,

@InProceedings{Vega2008b,
author    = {Diana Vega and George Din and Ina Kathrin Schieferdecker},
booktitle = {Proc. of the 19th Intern. Conf. on Systems Engineering, 2008. ICSENG `08},
title     = {TTCN-3~{T}est Data Analyser Using Constraint Programming},
doi       = {10.1109/ICSEng.2008.74},
pages     = {498--507},
abstract  = {This paper presents the idea of analyzing and refining the test data variance computation as a method to determine the quality of TTCN-3 tests. TTCN-3 as the only internationally standardized testing language is being used extensively by industry. A large amount of functional test specifications are written in this language. For this reason, a sensible issue is the quality analysis of these specifications. Data variance characterizes the test data distribution over the test system interface. TTCN-3 template distance constitutes the criterion to quantify the variance: "similar" and "different enough" test data. Due to the high flexibility of the language, the stimuli templates to be compared may not only contain concret evalues but also variables, function calls, parameters, values which are known at runtime only, etc. Therefore, we combine constraint programming (CP) with static analysis of TTCN-3 test suites targeting a realistic template solving. We name template constraint an expression whose value (or domain restrictions) can only be determined by looking at the execution paths in the analyzed test behavior. This method leads to a better computation of the data distance and, thus, to a better refinement of similarity classes. The approach is illustrated by an example which shows how data varies when the distance is computed taking into account the template constraints.},
file      = {2008/Vega2008b - TTCN 3~Test Data Analyser Using Constraint Programming.pdf},
keywords  = {constraint handling;program diagnostics;program testing;specification languages;TTCN-3 test data analyser;constraint programming;functional test specification;standardized testing language;static analysis;test data variance computation;test system interface;Analysis of variance;Computer industry;Concrete;Data analysis;Data engineering;ISO standards;Refining;Runtime;System testing;Systems engineering and theory;CSP;TTCN-3;Template Distance},
type      = {conference},
year      = {2008},
}
,

[Conference 78] "Real-Time Testing with TTCN-3", Diana Alina Serbanescu and Victoria Molovata and George Din and Ina Kathrin Schieferdecker and Ilja Radusch, Testing of Software and Communicating Systems Springer, pp. 283--301, ISBN: 978-3-540-68514-2, 2008.Reactive real-time software is used when safety is the issue and the margin for errors is narrow. Such software is used in automotive, avionics, air traffic control, space shuttle control, medical equipment, nuclear power stations, etc. As the timeliness of those systems is critical, it needs to be assured and tested. However, real-time properties require automated tests as manual tests are untimely and imprecise. This paper reviews Testing and Test Control Notation Version 3 (TTCN-3) as a means for real-time testing and proposes extensions to enable real-time test systems in TTCN-3. Small examples demonstrate the usage of the new constructs. Real-time operating systems are analyzed and reviewed, to enable the realization of real-time test systems based on TTCN-3.,

[Conference 77] "A Model-Based Design Approach for the Partitioning of Automotive Systems", Augustin Kebemou and Ina Kathrin Schieferdecker, INFOS 2008, the 6th International Conference on Informatics and Systems : 27-29 March 2008, Cairo, Egypt Univ. Cairo, Faculty of Computers and Information, ISBN: 977-403-290-X, 2008.Recently, several domain-specialized modeling languages have been developed to cope with the problems induced by the growing complexity of automotive embedded systems. For example, SysML, AADL, EAST ADL and AUTOSAR define high-level modeling languages that each propose certain forms of modularization and abstraction techniques to handle the system-level specifications of complex and heterogeneous systems. They thereby provide powerful support for the modeling of automobiles\ ' E\/E systems architectures. But, in contrast to SDL that is based on communication diagrams and FSMs, these languages do not address the modeling of the behavior of the system under design, although this is a prerequisite for the partitioning, i.e. the definition of the architecture of the system. In order to state the guidelines for their enhancement, we discuss the shortcomings of these self-proclaimed domain-specialized modeling languages regarding the features that are required to support the partitioning and we present our solution to drive the partitioning of automobiles\ ' E\/E systems specifications with the existing solutions.,

[Conference 76] "The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures", Augustin Kebemou and Ina Kathrin Schieferdecker, Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy Springer Science and Business Media, pp. 89--100, 2008.The design of the architectures of automobiles E/E (Electric/Electronic) systems consists in the allocation of the hardware platform and the distribution of the computing and the communication loads of the application software within the allocated hardware. This operation is called the partitioning. Following the actual model-driven design schemes, the input of the partitioning is generally a functional specification of the system under development in the form of communicating software components that must be mapped on the allocated hardware platform. However, even though these models are sufficient to describe the structure of a system, they are not good enough to support a CAD-supplied partitioning. They lack the facilities needed to support the analysis of the data flow and to investigate the closeness between the elements of the specification, thus to support the mapping. In this paper, we define the Components Data Flow Machine (CDFM), a modeling format that is defined to support the design of automobiles E/E systems architectures. The CDFMdefines the semantics of a synthesis model that results from a transformation of standard models like SysML, EAST ADL or AUTOSAR models.,

@InProceedings{Kebemou2008a,
author    = {Augustin Kebemou and Ina Kathrin Schieferdecker},
booktitle = {Distributed Embedded Systems: Design, Middleware and Resources, {IFIP} 20th World Computer Congress, {TC10} Working Conference on Distributed and Parallel Embedded Systems ({DIPES} 2008), September 7-10, 2008, Milano, Italy},
title     = {The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles {E/E} Systems Architectures},
doi       = {10.1007/978-0-387-09661-2_9},
pages     = {89--100},
publisher = {Springer Science and Business Media},
abstract  = {The design of the architectures of automobiles E/E (Electric/Electronic) systems consists in the allocation of the hardware platform and the distribution of the computing and the communication loads of the application software within the allocated hardware. This operation is called the partitioning. Following the actual model-driven design schemes, the input of the partitioning is generally a functional specification of the system under development in the form of communicating software components that must be mapped on the allocated hardware platform. However, even though these models are sufficient to describe the structure of a system, they are not good enough to support a CAD-supplied partitioning. They lack the facilities needed to support the analysis of the data flow and to investigate the closeness between the elements of the specification, thus to support the mapping. In this paper, we define the Components Data Flow Machine (CDFM), a modeling format that is defined to support the design of automobiles E/E systems architectures. The CDFMdefines the semantics of a synthesis model that results from a transformation of standard models like SysML, EAST ADL or AUTOSAR models.},
file      = {2008/Kebemou2008a - The Components Data Flow Machine_ an Intermediate Modeling Format to Support the Design of Automobiles E_E Systems Architectures.pdf},
keywords  = {automotive systems, architecture, design, partitioning, mapping},
type      = {conference},
year      = {2008},
}
,

[Conference 75] "Modeling Property Based Stream Templates with TTCN-3", Jürgen Großmann and Ina Kathrin Schieferdecker and Hans-Werner Wiesbrock, Testing of Software and Communicating Systems Springer Science and Business Media, pp. 70--85, ISBN: 978-3-540-68514-2, 2008.Test evaluation and test assessment is a time consuming and resource intensive process. More than ever this holds for testing complex systems that emanate continuous or hybrid behavior. In this article we introduce an approach that eases the specification of black box tests for hybrid or continuous systems by means of signal properties applied for evaluation. A signal property allows the characterization of individual signal shapes. It is determined by the examination of the signal\textquoterights value at time, the application of pre-processing functions (like first or higher order derivatives), and the analysis and detection of sequences of values that form certain shapes of a signal (e.g. local minima and maxima). Moreover we allow the combination of properties by logical connectives.The solution provided in this paper is based on terms and concepts defined for Continuous TTCN-3 (CTTCN-3) [12, 11], an extension of the standardized test specification language TTCN-3 [4]. Thus, we treat signals as streams and integrate the notion of signal properties with the notion of stream templates like they are already defined in CTTCN-3. Moreover, we provide a formal foundation for CTTCN-3 streams, for a selected set of signal properties and for their integration in CTTCN-3.,

[Conference 74] "Architecture-driven test development", Klaus-Dieter Engel and Axel Rennoch and Ina Kathrin Schieferdecker, 1st Workshop on Model-based Testing in Practice, MoTiP 2008. Proceedings : 12th June, 2008, Berlin Fraunhofer IRB Verlag, pp. 61--72, ISBN: 3-8167-7624-8, 2008.Industry demands new approaches for test development to overcome the problem of increasing system complexity and efforts for testing. This contribution reflects practical testing conditions in different domains, the development steps for test derivation and emphasises the potentials for testing retrieved from an architectural system definition that has been enriched by pattern and contracts.,

[Conference 73] "Automated Maintainability of TTCN-3~Test Suites Based on Guideline Checking", George Din and Diana Vega and Ina Kathrin Schieferdecker, Software Technologies for Embedded and Ubiquitous Systems Springer Berlin Heidelberg, pp. 417--430, Berlin, Heidelberg, ISBN: 978-3-540-87784-4, 2008.Similar to software development, the test development must be accompanied with a set of rules specifying how to write tests. They are grouped together into a document called guideline. Guidelines are especially necessary for large test specifications involving many developers and have the goal to reduce the effort of the overall development. So far, no universal guidelines for the TTCN-3 language [1] have been defined. Instead, each company or team defines and follows own development rules for test structuring and development. This paper deals with the problem of how to automate the validation whether a TTCN-3 test specification complies or not with an established guideline, i.e. guideline checking. The results of the validation process are a list of non-consistencies. A follow up step is the refactoring which automatically proposes and applies changes to improve the test suite compliance level, and thus its quality.,

[Conference 72] "Performance Test Design Process and Its Implementation Patterns for Multi-services Systems", George Din and Ina Kathrin Schieferdecker and Razvan Petre, Testing of Software and Communicating Systems Springer, pp. 135--152, ISBN: 978-3-540-68514-2, 2008.Over the past years, the scope of telecommunication services has increased dramatically making network infrastructure-related services a very competitive market. Additionally, the traditional telecoms are combined with Internet technologies for providing a larger range of services. The obvious outcome is the increase of the number of subscribers and services demand. Due to this complexity, the performance testing of continuously evolving telecommunication services has become a real challenge and requires efficient and more powerful testing solutions. This ability highly depends on the performance test design and on the efficient use of hardware resources for test execution.This paper proposes a performance testing methodology which copes with the characteristics mentioned above. The methodology consists of a set of methods and patterns, exemplified for the TTCN-3 language, to realize adequate performance tests for multi-service systems. The effectiveness of this methodology is demonstrated throughout a case study on IP Multimedia Subsystem (IMS) performance testing.,

[Conference 71] "A Workload Model for Benchmarking BPEL Engines", George Din and Klaus-Peter Eckert and Ina Kathrin Schieferdecker, Software Testing Verification and Validation Workshop, 2008. ICSTW '08. Proceedings of the First IEEE International Conference on Software Testing Verification and Validation (ICST) pp. 356--360, 2008.This paper describes a benchmarking workload model for business process execution language (BPEL) engines for Web services. The proposed model is based on simulation of real world traffic conditions by defining a set of requirements which best characterize the end-users. The performance characteristics are evaluated on top of collected measurements such as success/fail rate, response times or round-trip delays which are then used to identify problems for scalability or usability aspects under heavy load.,

[Conference 70] "Test Design Patterns for Embedded Systems", Justyna Zander-Nowicka and Abel Marrero P\ 'erez and Ina Kathrin Schieferdecker and Zhen Ru Dai, Business Process Engineering. Proceedings of the 10th International Conference on Quality Engineering in Software Technology. Conquest pp. 183--200, 2007.

[Conference 69] "From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of Software Dedicated for Hybrid Embedded Systems", Justyna Zander-Nowicka and Abel Marrero Perez and Ina Kathrin Schieferdecker, Proceedings of the 2007 International Conference on Software Engineering Research & Practice, SERP 2007, Volume II, June 25-28, 2007, Las Vegas, Nevada, USA pp. 347--353, ISBN: 1-601-32035-3, 2007.Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where timing constraints play a significant role. Test data generation is done manually nowadays, though it should be automated to the highest possible extent; system evaluation is mainly performed by application of reference signals, which however are not present during the design phase yet. Hereby, a concept for testing at the model level is introduced, due to which the transformation from requirements to test evaluation design occurs and finally semi-automatic derivation of test data is possible. There is no need for reference signals utilization, since characterization and extraction of particular signals ' features are provided for the comparison during the final test. Furthermore, patterns of feature generators are built and templates are proposed.,

[Conference 68] "Improving evolutionary class testing in the presence of non-public methods", Stefan Wappler and Ina Kathrin Schieferdecker, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA Association for Computing Machinery (ACM), pp. 381--384, 2007.Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imply. One of these principles is the encapsulation of class members which prevents non-public methods and attributes of the class under test from being freely accessed. This paper suggests an improvement of our automated search-based test generation approach which particularly addresses the test of non-public methods. We extend our objective functions by an additional component that accounts for encapsulation. Additionally, we propose a modification of the search space which increases the efficiency of the approach. The value of the improvement in terms of achieved code coverage is demonstrated by a case study with 7 real-world test objects. In contrast to other approaches which break encapsulation in order to test non-public methods, the tests generated by our approach inherently guarantee that class invariants are not violated. At the same time, refactorings of the encapsulated class members will not break the generated tests,

[Conference 67] "Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3", Diana Vega and Ina Kathrin Schieferdecker and George Din, Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings Springer Berlin Heidelberg, pp. 351--364, Berlin, Heidelberg, 2007.Test effectiveness is a central quality aspect of a test specification which reflects its ability to demonstrate system quality levels and to discover system faults. A well-known approach for its estimatation is to determine coverage metrics for the system code or system model. However, often these are not available as such but the system interface only, which basically define structural aspects of the stimuli and responses to the system. Therefore, this paper focuses on the idea of using test data variance analysis as another analytical approach to determine test quality. It presents a method for the quantitative evaluation of structural and semantical variance of test data. Test variance is defined as the test data distribution over the system interface data domain. It is expected that the more the test data varies, the better the system is tested by a given test suite. The paper instantiates this method for black-box test specifications written in TTCN-3 and the structural analysis of send templates. Distance metrics and similarity relations are used to determine the data variance.,

[Conference 66] "Testing Embedded Control Systems with TTCN-3 An Over", Ina Kathrin Schieferdecker and Jürgen Großmann, Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers Springer Berlin Heidelberg, pp. 125--136, Berlin, Heidelberg, 2007. Invited Paper TTCN-3 has gained increasing significance in recent years. Originally developed to fit the needs for testing software-based applications and systems in the telecommunication industry, TTCN-3 has shown its applicability to a wide range of other industrial domains in the mean time. TTCN-3 provides platform-independent, universal and powerful concepts to describe tests — especially for discrete, interactive systems — on different levels of abstraction. However, TTCN-3 addresses systems with discrete input and output characteristics only. In the automotive industry — as well as in other industries that deal with highly complex software-based control systems — this is not sufficient. Control systems often interact with their environment trough sensors and actuators using continuous signals. A test environment that adequately supports the specification, execution and evaluation of tests for embedded control systems has to provide concepts to handle this kind of signals. Moreover it has to support the test engineer with suitable abstractions that ease signal specification and signal evaluation.,

[Conference 65] "Quality Assurance for Autonomous Systems - A Review of Model-Based Methods", Ina Kathrin Schieferdecker, International Symposium on Autonomous Decentralized Systems (ISADS 2007), 21-23 March 2007, Sedona, AZ, USA Institute of Electrical & Electronics Engineers (IEEE), pp. 305--307, 2007. Keynote A major field in research and development are open, distributed, communication-intense systems, which are currently characterized by increasing heterogeneity in structure and technologies and by growing complexity and behavior dynamics. Autonomous systems are being investigated in order to return to manageable and stable systems whose operation and maintenance is affordable. By resolving the obstacles of current systems via enlarged system autonomy, the quality assurance of such dynamic, reconfigurable, adjustable systems becomes problematic. This keynote reviews requirements, methods and approaches for model-based quality assurance of autonomous systems.,

[Conference 64] "Evaluating Modeling Solutions on Their Ability to Support the Partitioning of Automotive Embedded Systems", Augustin Kebemou and Ina Kathrin Schieferdecker, Emerging Directions in Embedded and Ubiquitous Computing Springer, pp. 674--685, ISBN: 978-3-540-77089-3, 2007.A pool of competing modeling solutions have been proposed to cope with the problems induced by the growing complexity of automotive embedded systems, i.e. the E/E (Electric/Electronic) systems of automobiles. As the principal features of these solutions are axed around modularization and high level of abstraction, it is necessary to investigate their ability to support the implementation. An objective evaluation will be helpful to define how each modeling technique should be enhanced for a better support of the implementation, whenever necessary. This paper defines a framework to evaluate the capacity of modeling techniques to support the implementation in the automotive engineering domain, particularly the partitioning. Following the state-of-the-art in the partitioning of automotive embedded systems, we present the evaluation framework. Then, we introduce the most common modeling solutions used in the automotive embedded systems design and we use the framework to evaluate and classify them.,

[Conference 63] "A Workload Model for Benchmarking IMS Core Networks", George Din and Razvan Petre and Ina Kathrin Schieferdecker, Proceedings of the Global Communications Conference, 2007. GLOBECOM '07, Washington, DC, USA, 26-30 November 2007 pp. 2623--2627, 2007.Performance benchmarking is a method to assess performance characteristics of various systems across different chip/system architectures under realistic conditions, to collect measurements such as success/fail rate, response times or round-trip delays and to identify problems for scalability or usability aspects under heavy load. In this paper, a benchmarking workload model for IP multimedia subsystem (IMS) is introduced. Our performance methodology is based on simulation of real world traffic conditions by defining a set of requirements which best characterize a population of UEs (user equipment).,

[Conference 62] "Ereignisorientiertes Testen Web-basierter Systeme - Verfeinerung des holistischen Ansatzes und eine Fallstudie", Fevzi Belli and Michael Linschulte and Ina Kathrin Schieferdecker, Proc. of the 20th International Conference on Architecture of Computing Systems (ARCS) VDE Verlag, pp. 1--5, 2007.Auf der Grundlage eines ereignisbasierten Ansatzes zum Test von Web-basierten Systemen verfeinert dieser Beitrag die Beschreibung von Eingabedaten und modelliert charakteristische Merkmale von Eingaben anhand von Eingabeformularen. Eine Fallstudie validiert den vorgestellten Testansatz unter Berücksichtigung von ungültigen Eingabedaten.,

[Conference 61] "Reuse of Classification Tree Models for Complex Software Projects", Sergej Alekseev and Peter Tollkühn and Peter Palaga and Zhen Ru Dai and Andreas Hoffmann and Axel Rennoch and Ina Kathrin Schieferdecker, Business Process Engineering. Proceedings of the 10th International Conference on Quality Engineering in Software Technology. Conquest pp. 103--111, 2007.

[Conference 60] "Testing Customizable Software for Telecommunication Services", Sergej Alekseev and Peter Tollkühn and Zhen Ru Dai and Andreas Hoffmann and Axel Rennoch and Ina Kathrin Schieferdecker, ICIN 2007 - Emerging Web and Telecom Services: Collision or Coopetition?, Bordeaux, France, Oct. 2007 2007.Today\textquoterights telecommunication providers demand for flexible software solution with the goal to reduce the time to market for their marketing ideas significantly. The contribution of this paper is a new concept for testing the software adaptability. We present an approach which allows for testing the software with focusing on the coverage of customization possibilities. Additionally, we present the adaptation of the development process and tools which are necessary for the realization of the projects based on highly customizable service software.,

[Conference 59] "Automotive Validation Functions for On-Line Test Evaluation of Hybrid Real-Time Systems", Justyna Zander-Nowicka and Ina Kathrin Schieferdecker and Adel Marrero Perez, Autotestcon, 2006 IEEE pp. 799--805, ISSN: 1088-7725, 2006.The aim of this paper is to present the means of black-box on-line test evaluation for hybrid real-time systems. The described procedures can be used for the model-based testing process so as to improve its effectiveness. In particular, intelligent automotive validation functions are considered, which are divided into different types depending on the nature of the evaluated issue. All provided definitions are specified on the meta-model level according to the Model Driven Architecture (MDA) trends. The application of the concepts given in this paper contributes to the continuous on-line test analysis and is exemplified by a component of an Adaptive Cruise Control model in Matlab/Simulink/Stateflowreg.,

[Conference 58] "Import of WSDL Definitions in TTCN-3 Targeting Testing of Web Services", Ina Kathrin Schieferdecker and Diana Vega and Cosmin Rentea, A. Ertas, et.al.(Eds.). Integrated design & process technology: proceedings of the ninth World Conference on Integrated Design and Process Technology. IDPT 2006. San Diego, California, June 25-30, 2006 Society for design and process science (SDPS), USA, ISBN: 0-9700776-7-X, 2006.In the context of interoperability testing, TTCN-3 (Testing and Test Control Notation), already successfully used in testing middleware such as CORBA, CCM, EJB, matches perfectly in the field of Web services. This paper targets the development of TTCN-3 test suites forWeb services directly derived from WSDL interfaces. A mapping between WSDL data descriptions to TTCN-3 data is presented to enable the automated derivation of language artefacts and of basic test scenarios. These mapping rules and the the implementation support are evidenced by means of a case study.,

[Conference 57] "Specification-Based Testing of Embedded Control Systems", Ina Kathrin Schieferdecker and Jürgen Großmann, Proceedings of 1st Test and Diagnosis of Hard- and Software in Automotive Development, AutoTest, Stuttgart, Oct. 2006. 2006.Embedded systems play an ever increasing role for the realisation of complex control functions in many industrial domains - resulting in a big variety of requirements with respect to their dependability and reliability. Assuring dependability and reliability requires however different methods for hardware and software components. While the hardware reliability has to be guaranteed in particular for extreme operating conditions (temperature, mechanical influences, radiations etc.) and for possible material-dependent corrosion phenomena, the reliability of software components depend mostly on the correct implementation of the required functionality. control systems have specific characteristics, which - at least in their combination - are unique: they are typically embedded, interact with sensors and actuators with continuous signal characteristics, supervise discrete control flows, obtain and process simple and complex structured data, communicate over different bus systems and have to meet high safety and real time requirements. While different, also model-based development processes and methods for embedded systems exist, a generally recognized test technology for the analysis and evaluation of these systems, which lead to qualitatively high-quality, safe and reliable systems, is missing. Such a test technology has to address the different aspects of embedded systems and to enable the testing of discrete behaviours for communication and control sequences, of continuous behaviours for the regulation sequences and of hybrid behaviours for the control sequence in interaction with sensors/actuators and with other system components and the user. This paper presents a design of such a test technology for embedded systems which is based on the standardized test technology TTCN-3.,

@InProceedings{Schieferdecker2006e,
author    = {Ina Kathrin Schieferdecker and Jürgen Großmann},
booktitle = {Proceedings of 1st Test and Diagnosis of Hard- and Software in Automotive Development, AutoTest, Stuttgart, Oct. 2006.},
title     = {Specification-Based Testing of Embedded Control Systems},
abstract  = {Embedded systems play an ever increasing role for the realisation of complex control functions in many industrial domains - resulting in a big variety of requirements with respect to their dependability and reliability. Assuring dependability and reliability requires however different methods for hardware and software components. While the hardware reliability has to be guaranteed in particular for extreme operating conditions (temperature, mechanical influences, radiations etc.) and for possible material-dependent corrosion phenomena, the reliability of software components depend mostly on the correct implementation of the required functionality.
Software-based control systems have specific characteristics, which - at least in their combination - are unique: they are typically embedded, interact with sensors and actuators with continuous signal characteristics, supervise discrete control flows, obtain and process simple and complex structured data, communicate over different bus systems and have to meet high safety and real time requirements. While different, also model-based development processes and methods for embedded systems exist, a generally recognized test technology for the analysis and evaluation of these systems, which lead to qualitatively high-quality, safe and reliable systems, is missing.
Such a test technology has to address the different aspects of embedded systems and to enable the testing of discrete behaviours for communication and control sequences, of continuous behaviours for the regulation sequences and of hybrid behaviours for the control sequence in interaction with sensors/actuators and with other system components and the user. This paper presents a design of such a test technology for embedded systems, which is based on the standardized test technology TTCN-3.},
file      = {2006/Schieferdecker2006e - Specification Based Testing of Embedded Control Systems.pdf},
type      = {conference},
year      = {2006},
}
,

[Conference 56] "Continuous TTCN-3: testing of embedded control systems", Ina Kathrin Schieferdecker and Eckard Bringmann and Jürgen Großmann, Proceedings of the 2006 International Workshop on Software engineering for automotive systems Association for Computing Machinery (ACM), pp. 29--36, 2006.The systematic testing approaches developed within the telecommunication domain for conformance and interoperability testing of communication protocols have been extended and broadened to allow the testing of local and distributed, reactive and proactive systems in further domains such as Internet, IT, control systems in automotive, railways, avionics and alike. With the application of these testing principles it became apparent that the testing of systems with continuous systems is different to that of discrete systems. Although every continuous signal can be discretized by sampling methods (and hence mapped to the discrete signal paradigm), abstraction and performance issues in this setting become critical. This paper revises the initial design of Continuous TTCN-3. It presents the concepts for specifying continuous and hybrid test behavior. The TTCN-3 extensions are demonstrated for a case study.,

[Conference 55] "Defect rate profile in large software-systems", Elena-Ramona Modroiu and Ina Kathrin Schieferdecker, Knowledge-Based Software Engineering, Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2006, August 28-31, 2006, Tallinn, Estonia IOS Press, pp. 106--114, Amsterdam, The Netherlands, The Netherlands, ISBN: 1-58603-640-8, 2006.Software reliability, an issue raised long time ago by software engineering researchers, is still a problem that must be faced nowadays. Our approach is to handle reliability of software products making use of a statistical distribution based model and historical data of similar projects. We analyze the software error metrics of large software projects developed in a multinational company in the last five years, searching for a Rayleigh pattern in the defect rate profile. If we can prove empirically such a pattern exists in certain environment, we have a rapid and powerful theoretical model to support project estimation decisions early in the development life cycle when historical data on similar projects is available.,

[Conference 54] "Distributed Load Tests with TTCN-3", George Din and Sorin Tolea and Ina Kathrin Schieferdecker, Testing of Communicating Systems Springer, pp. 177--196, ISBN: 978-3-540-34184-0, 2006.The design of TTCN-3 focused on extensions to address testing needs of modern telecom and datacom technologies and widen the applicability to many kinds of tests including performance tests. One of the most important features of TTCN-3 is the platform independence which allows testers to concentrate on the test specification while the complexity of the underlying platform (i.e., operating system, hardware configuration, etc.) is left behind the scene. As far as the test distribution is concerned, TTCN-3 provides the necessary language elements for distributed tests. This is however supported in a transparent fashion so that the same test may run either locally or distributed. The distributed execution of a test enables the execution of test components belonging to one test configuration on different computers (the test nodes), sharing thus a bigger amount of computational resources. Test distribution is a research challenge when it comes to the problem of how to distribute the test components efficiently on the test nodes. Specifically for load testing - a particular kind of performance test - we investigate strategies to distribute tests on heterogeneous hardware in order to use the hardware resources of the test nodes efficiently.,

[Conference 53] "FANSA - a Framework for Automated Network Security Auditing", Ranganai Chaparadza and Mihail Smirnov and Ina Kathrin Schieferdecker, ICLAN 2006, International Conference on Latest Advances in Networking, Paris, December 2006 2006.multi-firewall enterprise network is a challenge, especially if the auditing is meant to be a continuous process that should be seen as part of the operational functions of the network. Security auditing is the practice of evaluating the security of systems and networks. In this paper, we present a framework for automated network security auditing. The framework is limited to the problem of designing and deploying a network security auditing system that continuously verifies that the security policy enforcements points (i.e. firewalls) installed in an enterprise network continue to function asrequired. We point out the problems to be addressed in this proposed framework and present some solutions/algorithms to the problems. We also present our NetSecAuditor tool that we developed, following this proposed framework.,

[Conference 52] "Model Transformers for Test Generation from System Models", Maik Busch and Ranganai Chaparadza and Zhen Ru Dai and Andreas Hoffmann and Laurette-Aimee Lacmene Pianta and Titus Ngwangwen and Guy Collins Ndem and Hideto Ogawa and Diana Alina Serbanescu and Ina Kathrin Schieferdecker, Conquest 2006 dpunkt Verlag, pp. 16, 2006.The early integration of test development into the system development process becomes more and more important. By doing so, design mistakes and implemen-tation faults can be detected in an early stage of the system design and imple-mentation process, i.e. before the newly developed system is shipped to the cus-tomer. This allows for reducing the overall development time and costs significantly. This paper reports on results in integrating testing into a model-based development process. Based on a common MOF-based infrastructure, ini-tial test are automatically derived from the system models. Subsequently, an ex-ecutable test code can be automatically generated from the test models and be-ing applied to the final system for quality assessment.,

[Conference 51] "From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing", Justyna Zander and Zhen Ru Dai and Ina Kathrin Schieferdecker and George Din, Testing of Communicating Systems Springer, pp. 289--303, ISBN: 978-3-540-26054-7, 2005.The approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation process. This paper presents an approach to derive executable tests from UML 2.0 Testing Profile diagrams automatically. In particular, an approach to derive executable tests within the Testing and Test Control Notation (TTCN-3) is discussed. The transformation rules between the source U2TP meta-model to the target TTCN-3 meta-model are given.,

[Conference 50] "Test Patterns with TTCN-3", Alain Vouffo-Feudjio and Ina Kathrin Schieferdecker, Formal Approaches to Software Testing Springer Science and Business Media, pp. 170--179, ISBN: 978-3-540-25109-5, 2005.Patterns are used in various engineering disciplines to represent common aspects of a set of solutions to a (set of) common problem(s). This paper discusses main concepts of test patterns, provides a characterization of test patterns and describes the use of test patterns in the test development process. Test patterns can be used to support the vertical reuse between different testing phases and testing kinds, horizontal reuse between different product version and historical reuse between different product versions. Specification means for test patterns will be analysed and compared with the language features of the Testing and Test Control Notation (TTCN-3) [8].,

[Conference 49] "Addressing some challenges in autonomic monitoring in self-managing networks", Ranganai Chaparadza and Hakan Coskun and Ina Kathrin Schieferdecker, Proc. of the 13th IEEE International Conference on Networks, 2005. Jointly held with the 2005 IEEE 7th Malaysia International Conference on Communication Vol. 2, pp. 6--, ISSN: 1531-2216, 2005.Self-monitoring is one of the key expected capabilities of an autonomic system. An autonomic system can be a single network node or the entire network as an entity, having the ability to automatically adjust its behaviour based on the conditions in which the system and its components work. Self-monitoring for the purposes of self-configuration, cooperative event detection by a number of systems in a network, knowledge/information distribution, service-diagnosis and self-protection requires a number of challenges/questions to be addressed. In this paper, we present the concepts behind self-monitoring as a capability of a single node and as a capability of a network that is considered as an entity. We also discuss the challenges and questions to be addressed when designing and deploying self-monitoring mechanisms for a single node and for an entire network and, we present some solutions to these challenges. Because self-monitoring is broad, we limit our focus to self-monitoring applied to inbound/outbound protocol-specific traffic at some point(s). As part of the solution to some challenges we try to address, we introduce the concept of on-demand monitoring (ODM) of protocol-specific traffic.,

@InProceedings{Chaparadza2005,
author    = {Ranganai Chaparadza and Hakan Coskun and Ina Kathrin Schieferdecker},
booktitle = {Proc. of the 13th IEEE International Conference on Networks, 2005. Jointly held with the 2005 IEEE 7th Malaysia International Conference on Communication},
title     = {Addressing some challenges in autonomic monitoring in self-managing networks},
doi       = {10.1109/ICON.2005.1635636},
pages     = {6--},
volume    = {2},
abstract  = {Self-monitoring is one of the key expected capabilities of an autonomic system. An autonomic system can be a single network node or the entire network as an entity, having the ability to automatically adjust its behaviour based on the conditions in which the system and its components work. Self-monitoring for the purposes of self-configuration, cooperative event detection by a number of systems in a network, knowledge/information distribution, service-diagnosis and self-protection requires a number of challenges/questions to be addressed. In this paper, we present the concepts behind self-monitoring as a capability of a single node and as a capability of a network that is considered as an entity. We also discuss the challenges and questions to be addressed when designing and deploying self-monitoring mechanisms for a single node and for an entire network and, we present some solutions to these challenges. Because self-monitoring is broad, we limit our focus to self-monitoring applied to inbound/outbound protocol-specific traffic at some point(s). As part of the solution to some challenges we try to address, we introduce the concept of on-demand monitoring (ODM) of protocol-specific traffic.},
file      = {2005/Chaparadza2005 - Addressing Some Challenges in Autonomic Monitoring in Self Managing Networks.pdf},
issn      = {1531-2216},
keywords  = {monitoring;protocols;telecommunication network management;telecommunication traffic;autonomic monitoring;inbound protocol-specific traffic;on-demand monitoring;outbound protocol-specific traffic;self-managing networks;self-monitoring;Computerized monitoring;Condition monitoring;Event detection;Humans;Intelligent networks;Next generation networking;Particle swarm optimization;Protocols;Quality of service;Telecommunication traffic;Self-monitoring;dynanic on-demand SNMP micro MIBs for exploiting the power of protocol/traffic analysers;on-demand monitoring},
type      = {conference},
year      = {2005},
}
,

[Conference 48] "Execution of External Applications using TTCN-3", Theofanis Vassiliou-Gioles and George Din and Ina Kathrin Schieferdecker, Proc. of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom 2004), Oxford, UK Springer, pp. 209--223, ISBN: 978-3-540-21219-5, 2004.TTCN-3 allows an easy and efficient description of complex distributed test behaviour in terms of sequences, alternatives, loops and parallel stimuli and responses. The test system can use any number of test components to perform test procedures in parallel. Features which are not directly supported in TTCN-3 can be included by the use of external types, data and functions. However, the access to external test behaviour is rather limited as external functions are executed as plain functions only without being performed on test components. The combination of external functions and test components allows the extension of the communication between the TTCN-3 test system and the external behaviours towards complex send/receive patterns and supports the distribution of external behaviours on remote nodes. This paper discusses the concepts of external behaviours, proposes extensions to TTCN-3 to realise them and demonstrates its application by a concrete example.,

[Conference 47] "A Generic Concept for Protocol Detection and its Implementation for UMTS Monitoring", Ina Kathrin Schieferdecker and Marion Schünemann and Aihong Yin and Peter H. Deussen and Axel Rennoch, Proceedings of Mobility Conference & Exhibition 2004, Singapore, August 2-4, 2004 2004.This contribution presents a generic approach and implementation for protocol detection and traffic analysis (TA). Self-detection and auto-configuration facilities minimize the effort to manually configure a monitor or test device and should be an integral part for test automation. We elaborate our concept on the intelligent self-detecting features for a MTS monitor focussing on interfaces, protocols and signaling scenarios in the context of the UMTS Terrestrial Radio Access Network (UTRAN).,

[Conference 46] "A Meta-model for TTCN-3", Ina Kathrin Schieferdecker and George Din, Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 Springer Science and Business Media, pp. 366--379, 2004.The Testing and Test Control Notation TTCN-3 is a test specification and implementation language that has been defined classically in form of a formal syntax and a semiformal semantics. UML, MOF and MDA has shown that on contrary meta-model based language definitions impose new ways of defining language semantics as a separation of syntax and semantic concept space, of integrating languages via a common meta-model base and of generating and deriving models from other models via model transformers. This paper defines a meta-model for TTCN-3, such that TTCN-3 can take advantage of meta-model based approaches – in particular for integrating test but also system development techniques. It also discusses the realization of the TTCN-3 meta-model and its use for meta-model based tools.,

[Conference 45] "Time Concepts for UML 2.0 Based Testing", Zhen Ru Dai and Ina Kathrin Schieferdecker, Int. Workshop on the usage of the UML profile for Scheduling, Performance and Time (SIVOES 2004)SIVOES 2004, associated with RTAS 2004, Toronto Canada 2004.The UML 2.0 Testing Profile (U2TP) is the first profile based on UML 2.0. Although UML 2.0 itself provides means for time specifications, U2TP added new time concepts for testing specific needs. The motivation for the U2TP time concepts come from different languages and profiles with real-time features, including the UML Profile for Schedulability, Performance and Time Specification (SPT). This paper provides an overview about time concepts, primarily concentrating on the UML 2.0 and U2TP time concepts. Since time concepts are not only important for test specifications the U2TP time concepts may be considered for adoption in a UML 2.0 real-time profile.,

[Conference 44] "Automated testing of automotive telematics systems using TTCN-3", Simon Burton and Andrej Baresel and Ina Kathrin Schieferdecker, Proceedings of 3rd Workshop on Systems Testing and Validation 2004: 2nd December 2004, Paris, France; in conjunction with 17th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2004) Fraunhofer IRB Verlag, pp. 49--60, ISBN: 978-3-8167-6677-3, 2004.Traditionally the testing and test control notation TTCN has been used and accepted widely in the telecom industry. The new version TTCN-3 is intended to be applicable to a broader scope of communication and software systems. This paper describes the initial results of a research project with the aim of evaluating the use of TTCN-3 within the automative telematics domain. The paper addresses the use of TTCN-3 to specify the reusable test cases for the telematics domain, the development of a TTCN-3 test platform for telematics systems and future work required before the requirements of the industrial testing processes within the automotive industry can be met.,

[Conference 43] "Combining System Development and System Test in a Model-Centric Approach", Marc Born and Ina Kathrin Schieferdecker and Olaf Kath and Chiaki Hirai, Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers Springer Science and Business Media, pp. 132--143, 2004. Invited Paper In this paper we will present, how a model centric approach cannot only be used to rapidly develop the system but also at the same time to support the provision of the system tests which is an integral part of the overall system development. The key technology used to achieve this is a set of meta-tools which contains model repository generators and model transformer generators.,

[Conference 42] "Model-driven development and testing - a case study", Marc Born and Ina Kathrin Schieferdecker and Hans-Gerhard Gross and Pedro Santos, 1st European Workshop on Model Driven Architecture with Emphasis on Industrial Application, number TR-CTIT-04-12 in CTIT Technical Report, University of Twente pp. 97--104, 2004.This paper discusses the results and experiences gained from the project Model Driven Development of Telecommunication Systems (MDTS) which is a joint project of three institutes of the Fraunhofer Society. The main goal of the project was to define a model driven software construction process, which enables the integration of system development and system test. It included the provision of a set of supporting tools to increase the level of automation in this process. The developed concepts have been applied in the telecommunication domain using an example application. This application supports mobile workers in critical industrial domains like aircraft maintenance or chemical production.,

[Conference 41] "The UML 2.0 Testing Profile", Paul Baker and Zhen Ru Dai and Jens Grabowski and Oystein Haugen and Eric Samuelsson and Ina Kathrin Schieferdecker and Clay E. Williams, Proc. of the 8th Conference on Quality Engineering in Software Technology 2004 (CONQUEST 2004) Arbeitskreis Software-Qualität Franken e.V., pp. 181--189, ISBN: 3-9809145-1-8, 2004.

[Conference 40] "A Distributed Architecture For Evaluating SIP Performance", Alain Vouffo-Feudjio and Ina Kathrin Schieferdecker, Proceedings of the Intern. Conference Software & Systems Engineering and their Applications (ICSSEA), Paris, France, Dec. 2003 2003.The Session Initiation Protocol (SIP) has been continuously gaining acceptance over the last years, as a valuable alternative to ITU-T\textquoterights H323 in providing call signalling capabilities for audio, video and other multimedia communication over Internet Protocol (IP) based networks. With the number of SIP implementations growing at an extremely fast rate, the need for testing suites with regard to conformance, interoperability and QoS is becoming more and more crucial. While interoperability and conformance have been discussed and tested by several related work and test suites, the performance aspects of SIP implementations have (amazingly) been granted fairly low attention. We present in this analysis an architecture for evaluating the signalling performance of SIP implementations.,

[Conference 39] "Realizing distributed TTCN-3 test systems with TCI", Ina Kathrin Schieferdecker and Theofanis Vassiliou-Gioles, Testing of Communicating Systems Springer, pp. 95--109, ISBN: 978-3-540-40123-0, 2003. Best Paper Award Distributed test setups for efficient load, performance, scalability, interworking, and end-to-end tests are gaining importance for the assessment of distributed communicating systems. The Testing and Test Control Notation TTCN-3 provides concepts for component-based distributed test systems in dynamic test configurations, where test components may reside on various network nodes to be near the interfaces of the tested system. The realization of executable TTCN-3 tests on concrete test platforms involves TTCN-3 compilation/interpretation and adaptations to the test platform. The TTCN-3 Control Interfaces TCI define entities, interfaces, types and operations needed to flexibly manage and distribute TTCN-3 based test systems. It complements and completes the TTCN-3 Runtime Interface TRI. This paper discusses the underlying concepts of TCI and demonstrates its use for the realization of a distributed test for the Session Initiation Protocol SIP.,

[Conference 38] "The Graphical Format of TTCN-3 in the Context of MSC and UML", Ina Kathrin Schieferdecker and Jens Grabowski, Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers Springer Science and Business Media, pp. 233--252, 2003.Graphical system design techniques like Message Sequence Chart (MSC) and Unified Modelling Language (UML) are gaining more and more acceptance because they ease the development, understanding, and maintenance of software systems. In the testing area no accepted graphical test specification and implementation techniques exist. To overcome this shortcoming, a graphical presentation format for the Testing and Test Control Notation (GFT) has been defined. GFT supports the graphical design, implementation, visualization, documentation and tracing of test behaviour. GFT is based on MSC and extends it with test specific concepts like verdicts and defaults. GFT is also the basis for the definition of a UML testing profile to enable the integrated system and test development with UML models. This paper discusses GFT and its relation to MSC and to the UML testing profile.,

[Conference 37] "The UML 2.0~Testing Profile and Its Relation to TTCN-3", Ina Kathrin Schieferdecker and Zhen Ru Dai and Jens Grabowski and Axel Rennoch, Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings Springer Science and Business Media, pp. 79--94, 2003.UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the approach towards system engineering with automated code generation, the need for solid conformance testing has increased. In June 2001, an OMG Request For Proposal (RFP) on an UML2.0 Testing Profile (UTP) has been initiated. This RFP solicits proposals for a UML2.0 profile, which enables the specification of tests for structural and behavioural aspects of computational UML models, and which is capable to interoperate with existing test technologies for black box testing. This paper discusses different approaches for testing with UML and discusses the ongoing work of the Testing Profile. Special emphasize is laid on the mapping of UML2.0 testing concepts to the standardized Testing and Test Control Notation (TTCN-3).,

[Conference 36] "System-Level Tests with TTCN-3", Ina Kathrin Schieferdecker, Proceedings of the 7th International Conference on Integrated Design and Process Technology (IDPT 2003) Austin, TX, 2003.System-level testing considers functionality and load aspects to check how a system performs for single service requests and scales as the number of service requests accessing/using it increases. This paper presents a flexible test framework including functional, service interaction and load tests. It is generic in terms of being to a large extend independent of the system to be tested. The paper discusses the automation of the test framework with the Testing and Test Control Notation TTCN-3. The test framework is exemplified for Web service tests.,

[Conference 35] "An Auditing System for QoS-Enabled Networks", George Din and Akihiro Hayakawa and Ina Kathrin Schieferdecker and Peter H. Deussen, 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 19-22 May 2003, Providence, RI, USA pp. 159, 2003.The ongoing challenge of supporting high performance communications, real-time critical and secure applications leads to a shift from traditional IP networks towards a more intelligent, end-to-end, service-aware network paradigm. Future networks have to i) be more content or application-aware; ii) provide dynamic features for service creation; iii) observe and enforce network-wide policies; and finally, iv) enable control from the network provider to the end-user. This paper presents the technical aspects of a policy based auditing system for a QoS-enabled network. The goal is to define the architecture of policy-based network QoS control and to develop and implement a prototype to evaluate this architecture.,

[Conference 34] "A TTCN-3 Based Online Test and Validation Platform for Internet Services", Peter H. Deussen and George Din and Ina Kathrin Schieferdecker, 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy pp. 177--184, 2003.Management of services over large distributed systems together with the growing complexity of underlying technologies has become a challenge in the present time. Faults can occur anywhere in a distributed system. Online validation addresses the activity of evaluating the behavior of services and service environments in the production phase in order to determine functional faults immediately. In this paper, we present our work on the design and implementation of an online validation platform. We describe a generic architecture, which can be instantiated for implementing validation systems for any type of distributed environments. We also present our experiences in using TTCN-3 to implement an online validation system for active network environments.,

[Conference 33] "A platform architecture to support the deployment of distributed applications", Tonghong Li and Andreas Hoffmann and Marc Born and Ina Kathrin Schieferdecker, IEEE International Conference on Communications, ICC 2002, April 28 - May 2, 2002, New York City, NY, USA Vol. 4, pp. 2592--2596, 2002.Deploying a distributed application on the nodes of a network has undoubtedly been a daunting task, which encompasses the distribution as well as the configuration of its components. Deployment and configuration concerns the placement of software components onto the nodes of a target environment, their installation, configuration, and instantiation, as well as the distribution and configuration tasks during the service usage phase. However, they are not fully addressed by the current CORBA component model (CCM). This paper elaborates on the platform architecture for deployment support and proposes the necessary extensions to current CCM.,

[Conference 32] "An on-line test platform for component-based systems", Peter H. Deussen and George Din and Ina Kathrin Schieferdecker, Software Engineering Workshop, 2002. Proceedings. 27th Annual NASA Goddard/IEEE pp. 96--103, 2002.One of the most provocative research areas in software engineering field is the testing of modern component based distributed applications in order to assure required quality parameters. Dynamic interactions and structural embedding, run-time loadable configurations, and services that can be deployed in arbitrary executions environments results in an increased complexity. Moreover, that the variety of possible states and behaviors becomes unpredictable. Thus, since testing during the development phase is always applied in simulated environments, it is almost impossible to detect faults, which appear under real condition, during production phase of a system. We therefore aim at concepts and methodologies that achieve on-line testing of distributed component based systems in their production phase. In comparison with off-line testing (i.e. testing that takes place during system development), on-line testing addresses particular aspects of the behavior of distributed systems, such as: functionality under limited time and resources available, complex transactions that are performed between components provided by different vendors, deployment, and composition of different services.,

@InProceedings{Deussen2002,
author    = {Peter H. Deussen and George Din and Ina Kathrin Schieferdecker},
booktitle = {Software Engineering Workshop, 2002. Proceedings. 27th Annual NASA Goddard/IEEE},
title     = {An on-line test platform for component-based systems},
doi       = {10.1109/SEW.2002.1199455},
pages     = {96--103},
abstract  = {One of the most provocative research areas in software engineering field is the testing of modern component based distributed applications in order to assure required quality parameters. Dynamic interactions and structural embedding, run-time loadable configurations, and services that can be deployed in arbitrary executions environments results in an increased complexity. Moreover, that the variety of possible states and behaviors becomes unpredictable. Thus, since testing during the development phase is always applied in simulated environments, it is almost impossible to detect faults, which appear under real condition, during production phase of a system. We therefore aim at concepts and methodologies that achieve on-line testing of distributed component based systems in their production phase. In comparison with off-line testing (i.e. testing that takes place during system development), on-line testing addresses particular aspects of the behavior of distributed systems, such as: functionality under limited time and resources available, complex transactions that are performed between components provided by different vendors, deployment, and composition of different services.},
file      = {2002/Deussen2002 - An on Line Test Platform for Component Based Systems.pdf},
keywords  = {distributed object management;formal verification;object-oriented methods;object-oriented programming;program testing;software development management;software quality;component-based systems;distributed component based systems;off-line testing;on-line test platform;run-time loadable configurations;software engineering;structural embedding;system development phase testing;system production phase;Condition monitoring;Control systems;Environmental management;Inspection;Java;Production systems;Prototypes;Scattering;Software prototyping;System testing},
type      = {conference},
year      = {2002},
}
,

[Conference 31] "Operation-based Interface Testing on Different Abstraction Levels", Aihong Yin and Mang Li and Axel Rennoch and Ina Kathrin Schieferdecker and Dorota Witaszek, Proceedings of the 14th International Conference on Software & Systems Engineering and their Applications (ICCSEA 2001), Software & Systems Engineering: Two disciplines for e-computing?, Paris, Dec 4-6, 2001 2001.Tests for Operation-based Interfaces can be implemented with concrete programming languages like C++ or Java. To have test system independent test descriptions and to gain better test reusability, in many companies more abstract test specifications are applied in this context. This paper discusses our experiences from a test suite development project for the OMG CORBA specification. In particular, the applicability of two major techniques- ADL and TTCN- has been investigated. This paper reports on the experiences and gives engineers some help to decide between the approaches for test development for operation-based interfaces.,

[Conference 30] "Systematic Testing of Internet Protocols - First Experiences in Using TTCN-3 for SIP", Ina Kathrin Schieferdecker and Stephan Pietsch and Theofanis Vassiliou-Gioles, Proceedings of the 5th IFIP Africom Conference on Communication Systems, Cape Town, South Africa, May 2001 2001.Recently, the European Telecommunications Standards Institute (ETSI) approved the third edition of the Tree and Tabular Combined Notation (TTCN-3) as a requirement to modernized and widen its application beyond pure OSI conformance testing. TTCN-3 is a text-based language for the specification of tests for reactive systems. In addition to several new concepts for defining test behavior, it supports besides textual test specifications a graphical forma as a natural and user-friendly notation for developing, documenting and visualizing test suites. This paper introduces the main concepts of TTCN-3, presents its graphical format based on Message Sequence Charts (MSC) and shows the application of TTCN-3 for testing text-based protocols - a new area of application for systematic testing.,

[Conference 29] "A Test Framework for CORBA Interoperability", Mang Li and Ina Kathrin Schieferdecker and Arno Puder, 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 4-7 September 2001, Seattle, WA, USA, Proceedings pp. 152, 2001.This paper presents a new approach to interoperability testing of CORBA implementations. The ORB Under Test (OUT) is embedded in the test system in such a way, that the behavior of either the client side or the server side of the OUT is controllable and observable. Components of the test system emulate the peer entities of the OUT and the applications based on the OUT in order to get direct access both to the GIOP interface and to the CORBA APIs. A specification framework for the test system is proposed. It separates the concerns of test data and test behavior to facilitate modularity and dynamic of the test system. The description languages CORBA IDL, ODMG ODL and TTCN-3 are used in the framework,

[Conference 28] "Experience Report on Conformance Tests for CORBA ORBs", Mang Li and Axel Rennoch and Ina Kathrin Schieferdecker and Dorota Witaszek and Omar Halabi and Alain Vouffo-Feudjio and Aihong Yin, 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings pp. 173--184, 2001.Middleware platforms are in widespread use for distributed systems. Their quality is key to the stability and interoperabilily in multi-vendor heterogeneous environments. It is the aim of the EC IST project CORVAL2 to enhance the techniques used to validate the conformance of OMG 's CORBA technology. The paper investigates testability aspects of CORBA ORBs and considers CORBA based systems both from a theoretical and practical view on testing. Test strategies are proposed and a conformance test suite presented,

[Conference 27] "Graphical Test Specification -- The Graphical Format of TTCN-3", Paul Baker and Ekkart Rudolph and Ina Kathrin Schieferdecker, SDL 2001: Meeting UML Springer, pp. 148--167, ISBN: 978-3-540-42281-5, 2001.Recently, the European Telecommunications Standards Institute (ETSI) approved the third edition of the Tree and Tabular Combined Notation (TTCN-3) as a requirement to modernise and widen its application beyond pure OSI conformance testing. As part of this evolution, TTCN is embracing Message Sequence Charts (MSCs) as a natural notation for specifying and visualising test suites. This paper defines the role of MSCs during test development, and more specifically introduces an MSC profile called the Graphical Format for TTCN (GFT) that facilitates the effective specification of TTCN-3 test suites.,

[Conference 26] "A Message Sequence Chart-Profile for Graphical Test Specification, Development and Tracing - Graphical Presentation Format for TTCN-3", Paul Baker and Jens Grabowski and Ekkart Rudolph and Ina Kathrin Schieferdecker, 18th International Conference and Exposition on Testing Computer Software, Theme: Meeting the New Challenges of Testing pp. 18--22, 2001.Recently, international standard bodies approved the third evolution of the TTCN test specification language (TTCN-3) as a requirement to modernise and widen its application beyond pure OSI conformance testing. Even though TTCN-3 makes the description of complex distributed test behaviour much easier there is still a requirement from the user community to provide a visualisation means for test specification, development and tracing. Message Sequence Charts (MSC) appeared to be a particularly attractive candidate as a graphical means for visualising TTCN-3 test cases.,

[Conference 25] "Formalization and Testing of Reference Point Facets", Ina Kathrin Schieferdecker and Mang Li and Axel Rennoch, Proc. of the 5th Intern. ERCIM Workshop on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 pp. 141--160, 2000.The paper introduces a new concept to express the architecture and behavior of distributed systems in a formal, detailed and extensible manner in terms of reference point facets (RP-facets). RP-facets are based on the well-established concept of reference points as used in ODP and TINA. Facets describe statical and dynamic aspects of reference points as well as pre- and post-conditions for their use. The paper gives a mathematical characterization of RP-facets, defines a specification template for the definition of RP-facets and derives a conformance test method for their validation. An example taken from the TINA retailer reference point shows the application and practical use of RP-facets.,

[Conference 24] "Incremental Testing at System Reference Points", Ina Kathrin Schieferdecker and Mang Li and Axel Rennoch, Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada Springer Science and Business Media, pp. 75--90, 2000.RM-ODP (Reference Model of Open Distributed Processing) is a reference model for open information processing systems. Conformance is one of the key aspects of open systems. Conformance ensures the interworking in a multi-vendor information processing environment that may evolve over the time. An essential partitioning concept for open system is that of reference points (RPs). RPs consist of a set of interfaces together with potential interactions at these interfaces. RP specifications define conformance requirements, so that they can be used to determine the conformance of a system. However, the testing of RPs of real systems is restricted as their functionality is often very complex. Refinement of the RP structure is required to ease both their realization and also their testability. In particular, the incremental development of RPs that allows both the evolution of the system architecture and the step-by-step implementation by vendors should be supported. A new concept — that of an RP-facet — has been recently defined to structure RPs and to improve their testability. The focus of this paper is on structuring principles and dependence relations used by the RP-facet concept. They serve as a basis for incremental and efficient testing at RPs. An example taken from use scenarios on service access in open systems is elaborated in the paper.,

@InProceedings{Schieferdecker2000a,
author    = {Ina Kathrin Schieferdecker and Mang Li and Axel Rennoch},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1} 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
title     = {Incremental Testing at System Reference Points},
doi       = {10.1007/978-0-387-35516-0_5},
pages     = {75--90},
publisher = {Springer Science and Business Media},
abstract  = {RM-ODP (Reference Model of Open Distributed Processing) is a reference model for open information processing systems. Conformance is one of the key aspects of open systems. Conformance ensures the interworking in a multi-vendor information processing environment that may evolve over the time. An essential partitioning concept for open system is that of reference points (RPs). RPs consist of a set of interfaces together with potential interactions at these interfaces. RP specifications define conformance requirements, so that they can be used to determine the conformance of a system. However, the testing of RPs of real systems is restricted as their functionality is often very complex. Refinement of the RP structure is required to ease both their realization and also their testability. In particular, the incremental development of RPs that allows both the evolution of the system architecture and the step-by-step implementation by vendors should be supported. A new concept — that of an RP-facet — has been recently defined to structure RPs and to improve their testability. The focus of this paper is on structuring principles and dependence relations used by the RP-facet concept. They serve as a basis for incremental and efficient testing at RPs. An example taken from use scenarios on service access in open systems is elaborated in the paper.},
file      = {2000/Schieferdecker2000a - Incremental Testing at System Reference Points.pdf},
keywords  = {Conformance Testing, Reference Points, Dependence Relations, ODL, MSC, TTCN, ODP},
type      = {conference},
year      = {2000},
}
,

[Conference 23] "HyperMSC - a Graphical Representation of TTCN", Ekkart Rudolph and Ina Kathrin Schieferdecker and Jens Grabowski, Proc. of the 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000 2000.

[Conference 22] "Test Framework for Component-Based Systems", Marc Born and Ina Kathrin Schieferdecker and Mang Li, Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC pp. E75--E78, 2000.Modern distributed systems are component based. Due to the distributed nature and complexity of such systems, new requirements their testing arise. Components communicate via well-defined interfaces. The target of testing is to validate the behavior of set of) components at their interfaces. paper presents an approach to build a test system itself from test components, which interact with the components under test via interfaces. For the development of such test systems a framework is proposed which contains base types for test components with behaviour for the setup and configuration of a test system and for the exchange of coordination messages between test components. the specification of a test system the same method as for the specification of the system under test is proposed: UML. The paper presents test components of the framework and how concrete test components can be derived. The test framework can be used not only for the development of functional tests but also for e.g. performance and load tests. An example of using the test framework is given.,

[Conference 21] "UML Framework for Automated Generation of Component-Based Test Systems", Marc Born and Ina Kathrin Schieferdecker and Mang Li, International Association for Computer and Information Science: Proceedings of the ACIS 1st International Conference on Software Engineering Applied to Networking & Parallel/Distributed Computing (SNPD '00), Reims, France Meadowbrook, USA, pp. 141--148, ISBN: 0-9700776-0-2, 2000.Component-based technologies are recently used to implement complex distributed systems. Testing of these systems becomes even more complicated. New test methods need to be investigated. Components of a system under test communicate via well-defined interfaces. It is to validate the behavior of (a set of) components at their interfaces. The paper proposes to build a test system itself from test components, which interact with the components under test via their interfaces. For the development of such test systems, a UML framework is used which contains base types for test components with generic behavior for the setup and configuration of a test system and for the exchange of coordination messages between test components. The paper discusses the aspect of automatic code generation of test components from UML specifications of test systems. An example of using the test framework is given.,

[Conference 20] "Configuration and Execution Support for Distributed Tests", Theofanis Vassiliou-Gioles and Ina Kathrin Schieferdecker and Marc Born and Mario Winkler and Mang Li, Testing of Communicating Systems: Method and Applications, IFIP TC6 12th International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary Springer Science and Business Media, pp. 61--76, 1999.This paper presents means to test the functionality, scalability and performance of distributed telecommunication applications based on CORBA ORBs. It presents generic tools for testing the functionality, performance, robustness and scalability of distributed systems. The tools cover the test suite simulator TSsim for validating concurrent test suites, the TTCN/CORSA gateway TCgate for automated execution of the test cases (including a generic coder/decoder component), and the test manager TTman to setup and parameterize the test configuration and to control the test execution. The emphasis of this paper is on TTman and its scripting facilities. Exemplarily, a TINA access session which is part of the TINA platform developed by GMD FOKUS is considered.,

[Conference 19] "An approach for performance tests of CORBA based systems", Ina Kathrin Schieferdecker, Proceedings of CONQUEST '99. 3rd Conference on Quality Engineering in Software Technology and VDE-ITG Workshop on 'Testing Non-Functional Software-Requirements ' S.l., 1999, pp. 370--378, ISBN: 3-00-004774-3, 1999.This paper presents means to test the functionality, scalability and performance of distributed telecommunication applications based on CORBA ORBs. The presented performance test approach is generic and can be used to cope with various test objectives. For example, it can be used to evaluate the maximal performance of a server device in a networked environment. It is also of use to evaluate response times of servers and the supported number of simultaneous clients. The test manager Ttman presented here is a tool to setup and parameterize distributed test configuration and to control the test execution. Exemplarily, a TINA access session which is part of the TINA platform developed by GMD FOKUS is considered.,

[Conference 18] "On Programming of Network Services", Ascan F. Morlang and Ina Kathrin Schieferdecker, Proceedings 26th Conference on Local Computer Networks, Lowell, Massachusetts, USA, 17-20 October, 1999 pp. 71--72, ISSN: 0742-1303, 1999.This paper introduces our ongoing development of a network node architecture, which meets the requirements of dynamic run-time installation and configuration of network services. The objective is to provide a network service run-time system, which is independent from installed services and suitable for effective deployment of existing, new and future services. By developing network service specific resource abstractions, the architecture will be more flexible than existing approaches.,

[Conference 17] "Testing the TINA Retailer Reference Point", Mang Li and Ina Kathrin Schieferdecker and Axel Rennoch, The Fourth International Symposium on Autonomous Decentralized Systems, ISADS 1999, Tokyo, Japan, March 20-23, 1999 pp. 268--275, 1999.This paper shows that testing open object-based distributed systems is, in principle, feasible by applying the ISO/ITU-T conformance testing methodology framework. In this context, a gap in the (semi-) automatic test development and execution process has been identified and bridged. We have developed an approach to the application of the standardized test notation TTCN for testing ODL-based implementations. The equivalents of TTCN features informal TINA specifications have been identified. Further a TTCN-based test system implementation has been integrated in the CORBA environment. Test specification and execution are discussed w.r.t. the TINA retailer reference point.,

[Conference 16] "Test Support for Incremental Specification of Reference Points in Distributed Systems", Mang Li and Ina Kathrin Schieferdecker and Eric Nielsen, A-DOT Workshop 1999. Applied Distributed Object Technology. Proceedings : Emerging Information Technologies for the Communications Business. 1-2 December 1999 Heidelberg: EURESCOM, 1999, 1999.

[Conference 15] "Performance testing of a TINA platform", Marc Born and Andreas Hoffmann and Ina Kathrin Schieferdecker and Theofanis Vassiliou-Gioles and Mario Winkler, Telecommunications Information Networking Architecture Conference Proceedings, 1999. TINA '99 Institute of Electrical & Electronics Engineers (IEEE), pp. 273--278, 1999.The TINA architecture specifications are well-known and have been available for many years. Experiences have been gathered with prototypical implementations of the TINA architecture or parts of it. These implementations have shown the benefits of the generic concept of TINA for surrounding distributed telecommunication services. Most of the implementations use new object-oriented implementation languages like C++ or Java and communication architectures like CORBA. However, up to now the question of the performance and satiability of TINA-conforming implementations, i.e., their eligibility for real applications with thousands of simultaneously acting users, still remains. This paper reports performance test results made with the TINA platform implementation at GMD FOKUS, which is based on C++, CORBA and Windows NT. The tests concentrate on the access session part of the service architecture (including subscription). The paper discusses the basic concepts of a flexible performance test architecture for distributed systems based on CORBA technology. Concrete performance test results are given, analysed and evaluated.,

@InProceedings{Born1999a,
author    = {Marc Born and Andreas Hoffmann and Ina Kathrin Schieferdecker and Theofanis Vassiliou-Gioles and Mario Winkler},
booktitle = {Telecommunications Information Networking Architecture Conference Proceedings, 1999. TINA `99},
title     = {Performance testing of a {TINA} platform},
doi       = {10.1109/TINA.1999.789997},
pages     = {273--278},
publisher = {Institute of Electrical & Electronics Engineers ({IEEE})},
abstract  = {The TINA architecture specifications are well-known and have been available for many years. Experiences have been gathered with prototypical implementations of the TINA architecture or parts of it. These implementations have shown the benefits of the generic concept of TINA for surrounding distributed telecommunication services. Most of the implementations use new object-oriented implementation languages like C++ or Java and communication architectures like CORBA. However, up to now the question of the performance and satiability of TINA-conforming implementations, i.e., their eligibility for real applications with thousands of simultaneously acting users, still remains. This paper reports performance test results made with the TINA platform implementation at GMD FOKUS, which is based on C++, CORBA and Windows NT. The tests concentrate on the access session part of the service architecture (including subscription). The paper discusses the basic concepts of a flexible performance test architecture for distributed systems based on CORBA technology. Concrete performance test results are given, analysed and evaluated.},
file      = {1999/Born1999a - Performance Testing of a TINA Platform.pdf},
keywords  = {C++ language;Java;distributed object management;network operating systems;telecommunication computing;telecommunication services;C++;CORBA;GMD FOKUS;Java;TINA platform;Windows NT;access session;distributed telecommunication services;object-oriented implementation languages;performance testing;service architecture;subscription;Intelligent networks;Java;Network servers;Paper technology;Prototypes;Robustness;Scalability;Subscriptions;System testing;Telecommunication services},
type      = {conference},
year      = {1999},
}
,

[Conference 14] "Combining Design Methods for Service Development", Marc Born and Andreas Hoffmann and Mang Li and Ina Kathrin Schieferdecker, Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy Springer Science and Business Media, pp. 281--291, 1999.The Reference Model for Open Distributed Processing (RM-ODP) describes an architecture for the design of distributed services where the basic idea is to split the design concerns into several viewpoints. This is in order to overcome the immense complexity of today\ 's distributed systems by structuring the design process. This paper presents an integrated approach not only covering the field of service design but also validation and testing of services and reusable service components. It proposes a methodology providing notations and usage guidelines to cover all stages during the development lifecycle of an arbitrary (telecommunication) service.,

[Conference 13] "Test Architectures for Distributed Systems: State of the Art and Beyond", Thomas Walter and Ina Kathrin Schieferdecker and Jens Grabowski, Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia Springer, pp. 149--174, 1998. Keynote A generic test architecture for conformance, interoperability and performance testing of distributed systems is presented. The generic test architecture extends current test architectures with respect to the types of systems that can be tested. Whereas in the conformance testing methodology and framework the focus is on testing protocol implementations, the generic architecture focuses on testing real distributed systems whose communication functions are implemented on different real systems and whose correctness can only be assessed when tested as a whole. In support of the latter requirement, a test system itself is regarded as being a distributed system whose behaviour is determined by the behaviour of components and their interaction using a flexible and dynamic communication structure.,

[Conference 12] "Case Study in Protocol Validation: Validating an ATM Signalling Protocol", Theofanis Vassiliou-Gioles and Ina Kathrin Schieferdecker, FMICS '98, Proceedings of the Third International Workshop on Formal Methods for Industrial Critical Systems : Amsterdam , 25-26 May 1998 Amsterdam: SMC, Vol. 10, pp. 321--346, ISBN: 90-6196-480-6, 1998.

[Conference 11] "Conformance Testing of TINA Service Components - The TTCN/ CORBA Gateway", Ina Kathrin Schieferdecker and Mang Li and Andreas Hoffmann, Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 5th International Conference on Intelligence and Services in Networks, IS&N '98, Antwerp, Belgium, May 25-28, 1998, Proceedings Springer, pp. 393--408, 1998.This paper considers conformance testing of TINA service components in the realm of the ITU-T conformance testing methodology, which provides the only standardized, well accepted and widely used test methodology and test notation TTCN. It discusses the use of TTCN for testing computational objects of service components and proposes an implementation approach to derive executable tests from TTCN, which can be executed on any CORBA compliant ORB (with minor efforts for ORB specific adaptation) to check the functional correctness of deployed service components in distributed object environments. The TTCN/CORBA gateway is a general approach for testing distributed systems. TINA is taken as an example in this paper only. The work presented has been partially supported by the EC ACTS project TOSCA-TINA Open Service Creation Architecture, AC237.,

[Conference 10] "Test Suite Migration Experiences for B-ISUP and B-MTP", C. Desroches and Mang Li and Stephan Pietsch and Axel Rennoch and Ina Kathrin Schieferdecker and Theofanis Vassiliou-Gioles, Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia Springer Science and Business Media, pp. 327--342, 1998.It is well known that the development of ATSs and ETSs is time and cost intensive. This contribution provides practical experiences and results gained from a test suite development project in the context of today\ 's ATM protocols. In particular we discuss the problems and effort to develop and execute the BISUP and MTP test suites within B-ISDN based on corresponding N-ISDN tests. The consideration of our approach and observations should help during the production and execution of related protocol conformance tests. We have outlined basic ideas on how to underpin methodologically the ATS migration process.,

[Conference 9] "Applying a framework approach with validation to the design of telecommunication services", Marc Born and Andreas Hoffmann and Mang Li and Ina Kathrin Schieferdecker, Proc. of the International Conference on Communication Technology, ICCT '98 Institute of Electrical & Electronics Engineers (IEEE), 1998.Due to the highly increasing complexity of new telecommunication services and the distributed nature of them on the one hand and the requirement to come up with a short time to market on the other hand, new methods, techniques and tools covering the whole service creation process are needed. This paper presents an integrated approach covering the fields of designing, validating and testing services and reusable service components. For the design stage a methodology which applies concepts from the Reference Model for Open Distributed Processing (ODP) is introduced. To ensure that the service to be designed meets the requirements of a potential user, a validation stage has been included into the design methodology. This paper also contains a new method for automated testing of distributed services through executing these test cases in a CORBA based target environment to check whether or not the implementation fulfils the specification.,

@InProceedings{Born1998,
author    = {Marc Born and Andreas Hoffmann and Mang Li and Ina Kathrin Schieferdecker},
booktitle = {Proc. of the International Conference on Communication Technology, ICCT `98},
title     = {Applying a framework approach with validation to the design of telecommunication services},
doi       = {10.1109/ICCT.1998.743119},
publisher = {Institute of Electrical & Electronics Engineers ({IEEE})},
abstract  = {Due to the highly increasing complexity of new telecommunication services and the distributed nature of them on the one hand and the requirement to come up with a short time to market on the other hand, new methods, techniques and tools covering the whole service creation process are needed. This paper presents an integrated approach covering the fields of designing, validating and testing services and reusable service components. For the design stage a methodology which applies concepts from the Reference Model for Open Distributed Processing (ODP) is introduced. To ensure that the service to be designed meets the requirements of a potential user, a validation stage has been included into the design methodology. This paper also contains a new method for automated testing of distributed services through executing these test cases in a CORBA based target environment to check whether or not the implementation fulfils the specification.},
file      = {1998/Born1998 - Applying a framework approach with validation to the design of telecommunication services.pdf},
keywords  = {automatic testing;distributed processing;object-oriented methods;open systems;software architecture;telecommunication computing;telecommunication equipment testing;telecommunication services;CORBA based target environment;ODP;Open Distributed Processing;Reference Model;TINA architecture;automated testing;distributed services;integrated approach;reusable service components;service creation;services testing;short time to market;specification;telecommunication services design;validation;Automatic testing;Automation;Buildings;Concrete;Design methodology;Distributed processing;Iterative methods;Life testing;Telecommunication services;Time to market},
numpages  = {8},
type      = {conference},
year      = {1998},
}
,

[Conference 8] "PerfTTCN a TTCN", Ina Kathrin Schieferdecker and Bernard Stepien and Axel Rennoch, Testing of Communicating Systems Springer Science and Business Media, pp. 21--36, 1997.This paper presents a new approach to test the performance of protocols, services, or application implementations (IUT) under normal and overload situations, to identify performance levels of the IUT for ranges of parameter settings and to assess the measured performance. A performance test describes precisely the configuration of the IUT, the configuration of the network, and the load characteristics (the so called performance test configuration). PerfTTCN - an extension of TTCN with notions of time, measurements, and performance - is a formalism to describe performance tests in an understandable, unambiguous and re-usable way with the benefit to make the test results comparable. 1. Motivation Different approaches for guaranteeing the end user certain levels of QoS were developed, since the non-functional aspects, in particular Quality-of-Service (QoS) aspects of distributed telecommunication services (e.g. multimedia collaboration, tele-teaching, etc.) are as important as functional aspects. They include approaches for QoS negotiation between peer user and service and network provider, QoS guarantees of communication services, QoS monitoring and management including self-adapting applications. This proposal considers QoS in the area of testing. In general, testing is a method to check whether an implementation meets certain requirements that are described in a specification. QoS testing checks the end-to-end quality of a service implementation against the QoS requirements. A specific class of QoS is that of performance-oriented QoS including delays (e.g. of a response), throughputs (e.g. for bulk data), and rates (e.g. of errors). We concentrate exclusively on performance-oriented QoS, other classes of QoS are out of the scope. Subsequently, we use the term perform...,

@InProceedings{Schieferdecker1997,
author    = {Ina Kathrin Schieferdecker and Bernard Stepien and Axel Rennoch},
booktitle = {Testing of Communicating Systems},
title     = {{PerfTTCN}, a {TTCN} language extension for performance testing},
doi       = {10.1007/978-0-387-35198-8_2},
pages     = {21--36},
publisher = {Springer Science and Business Media},
abstract  = {This paper presents a new approach to test the performance of protocols, services, or application implementations (IUT) under normal and overload situations, to identify performance levels of the IUT for ranges of parameter settings and to assess the measured performance. A performance test describes precisely the configuration of the IUT, the configuration of the network, and the load characteristics (the so called performance test configuration). PerfTTCN - an extension of TTCN with notions of time, measurements, and performance - is a formalism to describe performance tests in an understandable, unambiguous and re-usable way with the benefit to make the test results comparable.  1. Motivation  Different approaches for guaranteeing the end user certain levels of QoS were developed, since the non-functional aspects, in particular Quality-of-Service (QoS) aspects of distributed telecommunication services (e.g. multimedia collaboration, tele-teaching, etc.) are as important as functional aspects. They include approaches for QoS negotiation between peer user and service and network provider, QoS guarantees of communication services, QoS monitoring and management including self-adapting applications.  This proposal considers QoS in the area of testing. In general, testing is a method to check whether an implementation meets certain requirements that are described in a specification. QoS testing checks the end-to-end quality of a service implementation against the QoS requirements. A specific class of QoS is that of performance-oriented QoS including delays (e.g. of a response), throughputs (e.g. for bulk data), and rates (e.g. of errors). We concentrate exclusively on performance-oriented QoS, other classes of QoS are out of the scope. Subsequently, we use the term perform...},
file      = {1997/Schieferdecker1997 - PerfTTCN, a TTCN language extension for performance testing.pdf},
keywords  = {Performance Testing, Test Suite, TTCN, Quality of Service},
type      = {conference},
year      = {1997},
}
,

[Conference 7] "Extending Conformance Testing Concepts to Performance Testing", Ina Kathrin Schieferdecker and Axel Rennoch, Proceedings of the COST 247 Special Seminar at 9th IFIP Int. Workshop on Testing of Communicating Systems, Darmstadt, Sept. 1996 1996.The paper discusses basic concepts to performance test a protocol implementation. Performance testing is understood as an extension to classical conformance testing. We present a methodology and some results of its working steps, that were obtained from applying it to the test of the ATM signalling protocol.,

[Conference 6] "Performance-Oriented Formal Specifications - the LotoTis Approach", Ina Kathrin Schieferdecker, TAPSOFT '95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings Springer Science and Business Media, pp. 772--786, 1995.The paper presents the performance-oriented, Lotos extension Loto Tis. Loto Tis allows us to specify performance-oriented behavior via quantified time, quantified nondeterminism, quantified parallelism, and action monitoring. It offers a set of refinement rules from Lotos to Loto Tis. Therefore, Loto Tis supports the standard conform development of performance-oriented specifications from existing Lotos specifications.,

[Conference 5] "User/customer requirements on teleservice management", Jane Hall and Ina Kathrin Schieferdecker and Michael Tschichholz, Integrated Network Management IV, Proceedings of the Fourth International Symposium on Integrated Network Management, Santa Barbara, CA, USA, 1995 Springer Science and Business Media, pp. 143--155, 1995.

[Conference 4] "A Unified Approach to the Design of Communication Protocols", Adam Wolisz and Ina Kathrin Schieferdecker and Markus Walch, 4th Workshop on Future Trends of Distributed Computing Systems Lisboa, Portugal pp. 411--418, 1993.Quality of service considerations have to be included in the whole protocol engineering cycle. The authors present an integrated approach for the design of communication protocols, including: performance enhanced formal specification of communication protocols, formal requirement specification, statistical performance analysis out of the enhanced formal specification, and verification of bounded performance properties out of the formal specification.,

[Conference 3] "Verifying Deterministic Performance Bounds of Communication Protocols", Ina Kathrin Schieferdecker and Adam Wolisz, Proc. of 3rd Intl. Workshop on Responsive Computer Systems Lincoln, New Hampshire, USA 1993.

[Conference 2] "The Need for Unified Testbed Management Across Multiple Teams and Stakeholders in a Large Scale Telecom Integration Context", Nikolay Tcholtchev and Steven Ulrich and Faruk Catal and Wojciech Konitzer and Ramon Barakat and Andreas Hoffmann and Ina Schieferdecker, 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C) pp. 427-434, 2019.The quality assurance of large scale integrative systems often requires complex testbed environments and simulations that allow to test the overall functionality and enables various experiments towards systematically verifying the realization of the identified user and system requirements. Thereby, an integration setup and resulting activities lead to another level of quality assurance, whereby the integrator deals with the quality examination of the single components and their integrative interplay according to a set of overall system and user requirements. In such context, it is often the case that the testing activity is conducted by various partners (e.g. single companies and legal entities) with complementing know how required for specific sub-tasks - e.g. PKI, chip cards, special network protocols, firewall, security architectures, and penetration testing. This leads to the emergence of a large number of proprietary testbeds focusing on specific aspects resulting in the lack of a unified testbed configuration, versioning and technological foundations (e.g. operating system, network stack implementations, hypervisor technology ...). In this paper, we present our experiences drafted from a large scale industrial project with 600-700 requirements relating to a critical eHealth infrastructure within a telecom provider context. Thereby, various sub-contractors had to be unified in their approach to testbed management in order to achieve reproducible and traceable (with respect to system requirements) test results based on a test architecture accommodating various quality assurance activities (unit testing, development tests, component testing, integration testing, security testing ...). We gradually analyze the project situation with respect to testbed management and argue on the need for unified testbed management across multiple teams and stakeholders in a large scale telecom integration setup. Subsequently, we propose possible solutions and conduct a series of experiments highlighting the advantages of the proposed approach and belonging solution.,

@InProceedings{Tcholtchev2019,
author    = {Nikolay Tcholtchev and Steven Ulrich and Faruk Catal and Wojciech Konitzer and Ramon Barakat and Andreas Hoffmann and Ina Schieferdecker},
booktitle = {2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C)},
title     = {The Need for Unified Testbed Management Across Multiple Teams and Stakeholders in a Large Scale Telecom Integration Context},
doi       = {10.1109/QRS-C.2019.00084},
pages     = {427-434},
abstract  = {The quality assurance of large scale integrative systems often requires complex testbed environments and simulations that allow to test the overall functionality and enables various experiments towards systematically verifying the realization of the identified user and system requirements. Thereby, an integration setup and resulting activities lead to another level of quality assurance, whereby the integrator deals with the quality examination of the single components and their integrative interplay according to a set of overall system and user requirements. In such context, it is often the case that the testing activity is conducted by various partners (e.g. single companies and legal entities) with complementing know how required for specific sub-tasks - e.g. PKI, chip cards, special network protocols, firewall, security architectures, and penetration testing. This leads to the emergence of a large number of proprietary testbeds focusing on specific aspects resulting in the lack of a unified testbed configuration, versioning and technological foundations (e.g. operating system, network stack implementations, hypervisor technology ...). In this paper, we present our experiences drafted from a large scale industrial project with 600-700 requirements relating to a critical eHealth infrastructure within a telecom provider context. Thereby, various sub-contractors had to be unified in their approach to testbed management in order to achieve reproducible and traceable (with respect to system requirements) test results based on a test architecture accommodating various quality assurance activities (unit testing, development tests, component testing, integration testing, security testing ...). We gradually analyze the project situation with respect to testbed management and argue on the need for unified testbed management across multiple teams and stakeholders in a large scale telecom integration setup. Subsequently, we propose possible solutions and conduct a series of experiments highlighting the advantages of the proposed approach and belonging solution.},
file      = {2019/Tcholtchev2019 - The Need for Unified Testbed Management across Multiple Teams and Stakeholders in a Large Scale Telecom Integration Context.pdf},
keywords  = {Testing;Electronic healthcare;Virtual machining;Security;Stakeholders;Interoperability;docker, container, virtualization, eHealth, telecom, networking, component testing, black box testing, system integration},
type      = {conference},
year      = {2019},
}

[Conference 1] "Experiences Designing a Multi-Tier Architecture for a Decentralized Blockchain Application in the Energy Domain", Denis Rangelov and Nikolay Tcholtchev and Philipp Lämmel and Ina Kathrin Schieferdecker, 2019 11th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) pp. 1-7, 2019.In recent years the emergence of the Ethereum Blockchain has introduced a new alternative perspective on how web applications can be build. More precisely, the Ethereum Blockchain allows the development of applications, where programming code can be executed in a decentralized manner with no restrictions imposed by a central authority. However, as it is the case with many emerging technologies, there is a fair amount of trade-offs that have to be considered when this technology is used as a platform for implementing decentralized applications. In this work we present two architectural designs for building decentralized applications (DApps) based on the Ethereum Blockchain technology. Within this context, we discuss the inherent strengths and weaknesses of each of the architectural designs as well as the set of challenges that we faced during the development process.,

[German Conference 18] "A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution", Andreas Hoffmann and Axel Rennoch and Ina Kathrin Schieferdecker and Nicole Radziwill, Informatik 2009: Im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9.-2.10.2009, Lübeck, Proceedings pp. 2805--2814, 2009.This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority earlier than others. The approach uses a model that allows both the introduction of user-defined weightings for system features within the test model and an automatic calculation of the test ordering. Based on an algorithm for the calculation of test case weights first results from the application of a tool implementation in pilot projects have been described.,

[German Conference 17] "Test Specification and Test Methodology for Embedded Systems in Automobiles", Juergen Großmann and Diana Alina Serbanescu and Ina Kathrin Schieferdecker, 2. AutoTest Fachkonferenz: Test von Hard- und Software in der Automobilentwicklung (CD-ROM), Tagungsband, 22. - 23. Oktober 2008, Stuttgart 2008.Despite the past few years\ ' intensive efforts of automobile manufacturers and their suppliers to enhance the quality assurance of their products, the problems of testing systems that, like automobiles, steadily increase in complexity and interconnectedness are still not solved. The variety of proprietary test systems and solutions do not allow an integrated definition, transfer, re-use and execution of tests for automobile manufacturers, suppliers and test equipment manufacturers. In contrast to the automotive industry, the telecommunication industry uses an integrated, manufacturer independent and standardized test technology: the Testing and Test Control Notation (TTCN-3). The advantages of this technology have already been recognized by the automotive industry and therefore, AUTOSAR decided to use TTCN-3 for the definition of functional tests. However, the components of automobiles do not only have functional requirements. In addition to functional input-output behavior, also continuous data streams and real-time behavior have to be tested. The current version of TTCN-3 has only limited capabilities for testing such non-functional properties. To overcome these limitations, a consortium from industry and academia started the research project TEst specification and test Methodology for Embedded systems in Automobiles (TEMEA). TEMEA is targeted on developing a TTCN-3-based test specification and test implementation methodology for embedded systems in automobiles. The project will develop solutions to test continuous data streams and real-time behavior with TTCN-3 and also investigate software engineering related issues like quality assessment and quality improvement of large test specifications. This presentation will introduce the TEMEA project and will present the first results of the initial requirements capturing phase of the project. It should stimulate discussions on future enhancements of the TTCN-3 language.,

@InProceedings{Grossmann2008,
author = {Juergen Großmann and Diana Alina Serbanescu and Ina Kathrin Schieferdecker},
booktitle = {2. AutoTest Fachkonferenz: Test von Hard- und Software in der Automobilentwicklung (CD-ROM), Tagungsband, 22. - 23. Oktober 2008, Stuttgart},
title = {Test Specification and Test Methodology for Embedded Systems in Automobiles},
abstract = {Despite the past few years\` intensive efforts of automobile manufacturers and their suppliers to enhance the quality assurance of their products, the problems of testing systems that, like automobiles, steadily increase in complexity and interconnectedness are still not solved. The variety of proprietary test systems and solutions do not allow an integrated definition, transfer, re-use and execution of tests for automobile manufacturers, suppliers and test equipment manufacturers. In contrast to the automotive industry, the telecommunication industry uses an integrated, manufacturer independent and standardized test technology: the Testing and Test Control Notation (TTCN-3). The advantages of this technology have already been recognized by the automotive industry and therefore, AUTOSAR decided to use TTCN-3 for the definition of functional tests. However, the components of automobiles do not only have functional requirements. In addition to functional input-output behavior, also continuous data streams and real-time behavior have to be tested. The current version of TTCN-3 has only limited capabilities for testing such non-functional properties. To overcome these limitations, a consortium from industry and academia started the research project TEst specification and test Methodology for Embedded systems in Automobiles (TEMEA). TEMEA is targeted on developing a TTCN-3-based test specification and test implementation methodology for embedded systems in automobiles. The project will develop solutions to test continuous data streams and real-time behavior with TTCN-3 and also investigate software engineering related issues like quality assessment and quality improvement of large test specifications. This presentation will introduce the TEMEA project and will present the first results of the initial requirements capturing phase of the project. It should stimulate discussions on future enhancements of the TTCN-3 language.},
file = {2008/Grossmann2008 - Test Specification and Test Methodology for Embedded Systems in Automobiles.pdf;2008/Autotest_TEMEA_Abstract.pdf;2008/Temea_Flyer_final.pdf},
type = {gconference},
year = {2008},
}
,

[German Conference 16] "Applying the ISO 9126 quality model to test specifications - exemplified for TTCN-3 test specifications", Benjamin Zeiss and Diana Vega and Ina Kathrin Schieferdecker and Helmut Neukirchen and Jens Grabowski, Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg Vol. 15, pp. 231--244, 2007.Quality models are needed to evaluate and set goals for the quality of a software product. The international ISO/IEC standard 9126 defines a general quality model for software products. Software is developed in different domains and the usage of the ISO/IEC quality model requires an instantiation for each concrete domain. One special domain is the development and maintenance of test specifications. Test specifications for testing, e.g. the Internet Protocol version 6 (IPv6) or the Session Initiation Protocol (SIP), reach sizes of more than 40.000 lines of test code. Such large test specifications require strict quality assurance. In this paper, we present an adaptation of the ISO/IEC 9126 quality model to test specifications and show its instantiation for test specifications written in the Testing and Test Control Notation (TTCN-3). Example measurements of the standardised SIP test suite demonstrate the applicability of our approach.,

[German Conference 15] "Derivation of Executable Test Models from Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain", Justyna Zander-Nowicka and Ina Kathrin Schieferdecker and Tibor Farkas, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme pp. 131--140, 2006.The approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them in the same framework as the system model. The meta-models for Simulink and Test are explained and will enable automatic transformation in the future. The testing concepts of UML 2.0 Testing Profile (U2TP) have been partially adopted, however also enriched so as to deal with continuous functions, real-time constraints and to mirror Simulink specific features.,

[German Conference 14] "Testing of Embedded Control Systems with Continous Signals", Ina Kathrin Schieferdecker and Jürgen Großmann, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme pp. 113--122, 2006.The systematic testing approaches developed within the telecommunication domain for conformance and interoperability testing of communication protocols have been extended and broadened to allow the testing of local and distributed, reactive and proactive systems in further domains such as Internet, IT, control systems in automotive, railways, avionics and alike. With the application of these testing principles it became apparent that the testing of systems with continuous systems is different to that of discrete systems. Although every continuous signal can be discretized by sampling methods (and hence mapped to the discrete signal paradigm), abstraction and performance issues in this setting become critical. This paper investigates the different options to support tests of embedded control systems in the framework of TTCN-3.,

[German Conference 13] "System tests for Enterprise JavaBeans and Java based Applications with TTCN-3", Guy Collins Ndem and Ina Kathrin Schieferdecker and Hajo Eichler and Alain Vouffo-Feudjio, Model-Based Testing, ITGA FA 6.2 Workshop on and GI/ITG Workshop on Non-Functional Properties of Embedded Systems, 2006 13th GI/ITG Conference -Measuring, Modelling and Evaluation of Computer and Communication (MMB Workshop) pp. 1--17, 2006.

[German Conference 12] "Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle", Fevzi Belli and Christof J. Budnik and Michael Linschulte and Ina Kathrin Schieferdecker, Informatik 2006 - Informatik für Menschen, Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden pp. 266--273, 2006.An event-based approach for testing a web-based commercial system is presented. This approach is then compared with a state-based one along with a case study.,

[German Conference 11] "TTCN-3 - A Test Technology for the Automotive Domain", Ina Kathrin Schieferdecker and Edzard Höfig and Axel Rennoch, Simulation und Test in der Funktions- und Softwareentwicklung für die Automobilelektronik, 2. Tagung, Haus der Technik Essen e.V. im März 2005 expert, pp. 79--96, ISBN: 978-3816924913, 2005.TTCN (Testing and Test Control Notation) is in the telecommunication domain a widely established and used test technology. In its new version, TTCN-3 has a wider scope and applicability. It cannot be used only for testing the conformance and interoperability of communication protocols but also the interaction of e.g. sensors, actuators and control units connected via bus systems. Therefore, TTCN-3 is now being used in other domains such as automotive, railways, avionics and security systems. This paper gives an overview on TTCN-3, describes basic concepts and presents results on the application of TTCN-3 for testing MOST based components.,

[German Conference 10] "The UML 2.0~Test Profile as a Basis for Integrated System and Test Development", Ina Kathrin Schieferdecker, INFORMATIK 2005 - Informatik LIVE! Band 1, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19. bis 22. September 2005 pp. 395--399, 2005.Abstract: Model centric development and engineering according to Model-Driven Architectures (MDA) has recently gained much attention. This paper presents an approach how a model centric approach cannot only be used for system development but also at the same time to support the provision of system tests which are to be an integral part of the overall system development. The paper discusses the various artefacts for model-based testing along MDA and their relation to the artefacts in system development. The testing artefacts can be designed and modelled with the UML 2.0 Testing Profile (U2TP) which extends UML 2.0 with test specific concepts. 1,

[German Conference 9] "Automated Testing of XML/SOAP Based Web Services", Ina Kathrin Schieferdecker and Bernard Stepien, Kommunikation in Verteilten Systemen (KiVS) Springer, pp. 43--54, ISBN: 978-3-540-00365-6, 2003.Web services provide seamless connections from one software application to another over private intranets and the Internet. The major communication protocol used is SOAP, which in most cases is XML over HTTP. The exchanged data follow precise format rules in the form of XML Document Type Definitions or more recently the proposed XML Schemas. Web service testing considers functionality and load aspects to check how a Web service performs for single clients and scales as the number of clients accessing it increases. This paper discusses the automated testing of Web services by use of the Testing and Test Control Notation TTCN-3. A mapping between XML data descriptions to TTCN-3 data is presented to enable the automated derivation of test data. This is the basis for functional and load tests of XML interfaces in TTCN-3. The paper describes the mapping rules and prototypical tools for the development and execution of TTCN-3 tests for XML/SOAP based Web services.,

[German Conference 8] "Development of a MSC/UML Test Format", Ekkart Rudolph and Ina Kathrin Schieferdecker and Jens Grabowski, Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000 pp. 153--164, 2000.The development of an Message Sequence Chart (MSC) based graphical representation of the Tree and Tabular Combined Notation (TTCN) is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including validation for TTCN-3 '. Experiments with different kinds of MSC representations show that certain extensions of the MSC language are requested in order to obtain a sufficiently transparent and readable MSC test format. Extended HMSCs where reference symbols may either contain hypertext–like descriptions or, in the expanded form, the detailed event structure of basic MSCs appear to be especially suitable for a compact and transparent test case representation. For an effective usage of such advanced MSC constructs, a corresponding tool support appears to be mandatory where the event structure of special paths in the test case is described explicitly while others are hidden in MSC references containing pure textual descriptions. We propose the name 'HyperMSCs ' for such extended HMSCs. A significant difference between the standard TTCN format and the MSC format refers to the behavior description of several test components. In the concurrent case, a TTCN test case describes the communication of the main test component (MTC) and its ports. The behavior description of parallel test components (PTCs) is provided by separate functions. A simple translation of this partitioning into MSCs leads to separate MSC specifications for the different test components which have to be merged somehow by an appropriate join operation. However, such a \ 'local\ ' view does not make use of the main advantage of the MSC language. The strength of MSC lies in the immediate description of the communication behavior which is provided by a \ 'global\ ' view including all test components in the same diagram. The translation of TTCN into the MSC format is demonstrated using a simple example taken from the Inres protocol.,

@InProceedings{Rudolph2000a,
author    = {Ekkart Rudolph and Ina Kathrin Schieferdecker and Jens Grabowski},
booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000},
title     = {Development of a {MSC/UML} Test Format},
pages     = {153--164},
abstract  = {The development of an Message Sequence Chart (MSC) based graphical representation of the Tree and Tabular Combined Notation (TTCN) is part of the ETSI project STF 156 on `Specification of a Message Sequence Chart/UML format, including validation for TTCN-3`. Experiments with different kinds of MSC representations show that certain extensions of the MSC language are requested in order to obtain a sufficiently transparent and readable MSC test format. Extended HMSCs where reference symbols may either contain hypertext–like descriptions or, in the expanded form, the detailed event structure of basic MSCs appear to be especially suitable for a compact and transparent test case representation. For an effective usage of such advanced MSC constructs, a corresponding tool support appears to be mandatory where the event structure of special paths in the test case is described explicitly while others are hidden in MSC references containing pure textual descriptions. We propose the name `HyperMSCs` for such extended HMSCs. A significant difference between the standard TTCN format and the MSC format refers to the behavior description of several test components. In the concurrent case, a TTCN test case describes the communication of the main test component (MTC) and its ports. The behavior description of parallel test components (PTCs) is provided by separate functions. A simple translation of this  partitioning into MSCs leads to separate MSC specifications for the different test components which have to be merged somehow by an appropriate join operation. However, such a \`local\` view does not make use of the main advantage of the MSC language. The strength of MSC lies in the immediate description of the communication behavior which is provided by a \`global\` view including all test components in the same diagram. The translation of TTCN into the MSC format is demonstrated using a simple example taken from the Inres protocol.},
file      = {2000/Rudolph2000a - Development of a MSC_UML Test Format.pdf},
type      = {gconference},
year      = {2000},
}
,

[German Conference 7] "Test Data Filtering", Axel Rennoch and Jan de Meer and Ina Kathrin Schieferdecker, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999 Herbert Utz Verlag, pp. 175--184, ISBN: 978-3-89675-918-4, 1999.The paper discusses the need of test data filtering within traditional conformance testing methodology and advanced QoS data stream controlling. The common approach is the introduction of a data profile declaration. This profile declaration is useful for the (semi-)automatic generation of e.g. TTCN data constraints or object interface filters. The B-ISDN ATM Adaptation layer specification Type 1 is used as an application example in both application areas.,

[German Conference 6] "Test Suite Simulation", Stephan Pietsch and Ina Kathrin Schieferdecker, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998 pp. 38--47, 1998.

[German Conference 5] "Timed MSC - an Extension to MSC '96", Ina Kathrin Schieferdecker and Axel Rennoch and Olaf Mertens, Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997 pp. 165--174, 1997.This paper presents a new approach for extending Message Sequence Charts (MSCs) with time concepts. The approach is mainly aimed at using MSCs in the context of performance testing. The time extensions offer means to formally specify test purposes for performance testing as well as to describe time extended execution traces of distributed systems tests. Although already a number of time extensions has been proposed for MSCs, these are mainly aimed at describing timing requirements and not time measurements which are needed for performance testing.,

[German Conference 4] "An AAL5 Performance Test Suite in PerfTTCN", Ina Kathrin Schieferdecker and Mang Li and Axel Rennoch, Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997 pp. 241--250, 1997.This paper presents a performance test suite for the ATM adaptation layer 5, that can be used to test the end-to-end performance of AAL5 implementations. The test suite includes throughput, frame loss ratio and goodput tests, frame latency tests and maximum frame burst size tests. It is based on the performance testing white paper of the ATM Forum and shows the usability of PerfTTCN - a performance-extension of TTCN - for the description of performance tests.,

[German Conference 3] "Formal Based Testing of ATM Signalling", Ina Kathrin Schieferdecker and Axel Rennoch, Proceedings of the 6. GI/ITG-Fachgespräch \enquoteFormale Beschreibungstechniken für verteilte Systeme Univers 1996.The paper describes an ongoing work on setting up a formal based testing methodology that covers the test suite generation from a protocol specification, the consistency check between protocol specification and test suite, the implementation of test suites, and the test result analysis. We are going to establish a tool set that allows us to automate the testing process as far as possible. The working example are ATM signalling protocols in local area networks.,

[German Conference 2] "LotoTis in Comparison with Other Performance-Oriented LOTOS Extensions", Ina Kathrin Schieferdecker and Adam Wolisz, Process Algebra and Performance Modelling Workshop, Erlangen, Germany, 1995 1995.The paper presents LotoTis -- a performance-oriented and upward-compatible extension of Lotos, whose main feature are structured actions. A structured action is parameterized with an interaction time, a priority, a set of requested resources, and a monitoring signal. It allows us to model system tasks of distributed systems with their performance characteristics very easily. In addition, the paper compares LotoTis with related performance-oriented Lotos extensions and identifies the advantages and shortcomings of these approaches.,

[German Conference 1] "Performance Modeling with Structured Actions", Ina Kathrin Schieferdecker, Quality of Communication-Based Systems Springer, pp. 85--104, ISBN: 978-94-010-4084-6, 1995.The paper presents the concept of structured actions for modeling performance aspects within process-algebraic calculi. A struc-tured action is parameterized with an interaction time, a priority, a set of requested resources, and a monitoring signal. The paper introduces the new performance-oriented LOTOS extension LOTOTIS and shows its use by specifying the Tick-Tock Case Study. Finally, it investigates the LOTOTIS upward compatibility with LOTOS.,

[Misc 36] "A European Way to our Common Digital Future", Martina Fromhold-Eisebith and Ulrike Grote and Ellen Matthies and Dirk Messner and Karen Pittel and Hans Joachim Schellnhuber and Ina Kathrin Schieferdecker and Sabine Schlacke and Uwe Schneidewind, 2019.The new European Commission president has announced a Green Deal for Europe. This can only succeed if opportunities and risks of digitalization for a fundamental transformation of the economy and society are taken into account. In this paper, the WBGU develops cornerstones of a European way to a common digital future. The EU\ 's cross-cutting sustainability policy needs an implementation strategy for the SDGs and an 8th Environmental Action Programme that exploits digital technologies for its objectives and minimizes the risks associated with them. The EU\ 's digital policy should implement ecological and social objectives in addition to economic ones and therefore demand, for example, the provision of data by companies and sustainability-oriented AI. Public-service digital infrastructures and services should also be guaranteed. Research and innovation policy should strategically promote digital technologies to achieve sustainability goals. In this way, the EU can become an international role model in interlinking digitalization and sustainability.,

[Misc 35] "Digital Momentum for the UN Sustainability Agenda", Martina Fromhold-Eisebith and Ulrike Grote and Ellen Matthies and Dirk Messner and Karen Pittel and Hans Joachim Schellnhuber and Ina Kathrin Schieferdecker and Sabine Schlacke and Uwe Schneidewind, 2019.The United Nations\ ' High-Level Political Forum for Sustainable Development is the UN\ 's key platform for coordinating global sustainability policy and an important addressee for issues relating to the potential benefits and risks of digital change for achieving the UN sustainability goals. Digitalization fundamentally changes the range of options available for future civilizational development. At the same time, the implementation of the 2030 Agenda with its 17 Sustainable Development Goals requires a fundamental transformation of the economy and society. These two challenges can only be met by dedicated global thinking and action. So what could be more appropriate than to use the momentum of digitalization to advance the Transformation towards Sustainability and launch decisive stimuli for achieving national and global sustainability targets?,

[Misc 34] "Digitalization: What we need to talk about", Martina Fromhold-Eisebith and Ulrike Grote and Ellen Matthies and Dirk Messner and Karen Pittel and Hans Joachim Schellnhuber and Ina Kathrin Schieferdecker and Sabine Schlacke and Uwe Schneidewind, 2018.A major technical revolution is underway. How will it change the coexistence of humankind on this planet? What goals will it serve? What opportunities and risks does it involve? Who will gain or lose power in its wake? How can it be used to solve humankind\ 's great challenges?,

[Misc 33] "Just & In-Time Climate Policy: Four Initiatives for a Fair Transformation", Martina Fromhold-Eisebith and Ulrike Grote and Ellen Matthies and Dirk Messner and Karen Pittel and Hans Joachim Schellnhuber and Ina Kathrin Schieferdecker and Sabine Schlacke and Uwe Schneidewind, 2018.Limiting global warming to well below 2°C requires the rapid decarbonization of the global economy. If this enterprise fails, we will jeopardize the life-support systems of future generations. The longer the transformation towards climate compatibility is delayed, the more severe the risks and damage will be for a growing number of people. The transformation requirements and the damage caused by climate change have an unequal temporal, geographical and social distribution – as do the respective possibilities for dealing with them. The WBGU therefore proposes a just & in-time transformation that takes into account all people affected, empowers them, holds those responsible for climate change accountable, and creates both global and national prospects for the future. The WBGU proposes that the German Federal Government should promote four exemplary initiatives of a just & in-time climate policy targeting (1) the people affected by the structural change towards climate compatibility (e.g. in coal-mining regions), (2) the legal rights of people harmed by climate change, (3) the dignified migration of people who lose their native countries due to climate change, and (4) the creation of financing instruments for just & in-time transformation processes.,

[Misc 32] "Recent Results on Classifying Risk-Based Testing Approaches", Michael Felderer and Juergen Grossmann and Ina Kathrin Schieferdecker, 2018.In order to optimize the usage of testing efforts and to assess risks of software-based systems, risk-based testing uses risk (re-)assessments to steer all phases in a test process. Several risk-based testing approaches have been proposed in academia and/or applied in industry, so that the determination of principal concepts and methods in risk-based testing is needed to enable a comparison of the weaknesses and strengths of different risk-based testing approaches. In this chapter we provide an (updated) taxonomy of risk-based testing aligned with risk considerations in all phases of a test process. It consists of three top-level classes, i.e., contextual setup, risk assessment, and risk-based test strategy. This taxonomy provides a framework to understand, categorize, assess and compare risk-based testing approaches to support their selection and tailoring for specific purposes. Furthermore, we position four recent risk-based testing approaches into the taxonomy in order to demonstrate its application and alignment with available risk-based testing approaches.,

[Misc 31] "Schutz der Privatsphäre für digitale Identitäten", Ina Kathrin Schieferdecker, 2017.

[Misc 30] "System-Qualität in der Gigabit-Gesellschaft", Ina Kathrin Schieferdecker, 2016.

[Misc 29] "Das Ende der Unsicherheit - Quality Engineering für IoT", Ina Kathrin Schieferdecker and Armin Metzger and Axel Rennoch, 2016.Das Internet der Dinge (Internet of Things, IoT) stellt Gesellschaft und Industrie vor große Herausforderungen. Ungeklärt ist beispielsweise, wie die mannigfaltigen Schnittstellen im IoT auch mit bestehenden IT-Systemen verbunden, genutzt und nicht zuletzt getestet und weiterentwickelt werden können. Auch die gesellschaftlichen Rahmenbedingungen wie Fragen der Sicherheit, des Datenschutzes und sogar der Ethik werden das Thema IoT formen. Um der Industrie Hilfe in Form von Methoden, Leitlinien zur Qualitätssicherung und Absicherung von IoT-Lösungen durch Qualifizierungsschemata und ein Glossar als De-facto-Standard anzubieten, hat sich ein Expertengremium führender Unternehmen in Deutschland gebildet, unter anderem mit DB Systel GmbH, SAP Deutschland und Atos Deutschland sowie mit namhaften Dienstleistern wie Sulzer GmbH, imbus AG, tecmata GmbH, sepp.med GmbH und dem Konsortium Testing4You.,

[Misc 28] "Abgesicherte und nachweisliche Qualität für IoT-Lösungen", Ina Kathrin Schieferdecker, 2016.

[Misc 27] "Herausforderungen des IoT-Testings", Ina Kathrin Schieferdecker, 2016.

[Misc 26] "IT-Sicherheit lebt vom Verständnis dafür", Ina Kathrin Schieferdecker, 2015.

[Misc 25] "Quick Reference Card for TTCN-3", Axel Rennoch and Claude Desroches and Theofanis Vassiliou-Gioles and Ina Kathrin Schieferdecker, 2015.Overview on TTCN-3 concepts and syntax with examples, references to standards, and browseable grammar,

[Misc 24] "Security-testing regime for interconnected software-based systems and networks", Ina Kathrin Schieferdecker, 2013.Current security testing is based mainly on audits of processes, systems and networks but this still lacks generic security models and systematic testing approaches that allow risk-oriented semi-automated analysis. The basic aim of the ITEA 2 DIAMONDS project was to produce an effective methodology capable of strengthening the practices of security testing commonly used in computer science and various industrial areas.,

[Misc 23] "Leben im Raum", Ina Kathrin Schieferdecker, 2012.

[Misc 22] "Modellbasiertes Testen von IT-Sicherheitsaspekten", Ina Kathrin Schieferdecker, Vol. 21, pp. 3, 2011.

[Misc 21] "Wie werden Städte intelligent? Ansätze und Initiativen – eine Übersicht", Ina Kathrin Schieferdecker, 2010.

[Misc 20] "Berufsbild \enquoteSoftware-Tester immer beliebter Hochschulen", Andreas Spillner and Ina Kathrin Schieferdecker, 2009.Ein abgestürztes Office-Programm ist nur ärgerlich. Ein kollabiertes Gepäcksystem wie 2008 im neuen Terminal des Londoner Großflughafens Heathrow hingegen kostet Millionen. Fehler in IT-Systemen können weitreichende Folgen haben. Solchen Pannen sollen Software-Tester vorbeugen.,

[Misc 19] "Closing the gap between lab and clinical environment", Ina Kathrin Schieferdecker and Armin Metzger, 2009.With the gap between manufacturers and clinical environments widening, integration of complex medical IT systems into heterogeneous clinical networks becomes increasingly challenging. This needs to be addressed says Prof Dr -Ing Ina Schieferdecker and Dr Armin Metzger of the ReTeMeS project.,

[Misc 18] "Patent: System and Method for Automatically Testing a Model", Justyna Zander-Nowicka (Berlin, DE) and Ina Kathrin Schieferdecker (Zepernick, DE) and Abel Marrero Perez (Berlin, DE), 2009.

[Misc 17] "TTCN-3 was ist", Ina Kathrin Schieferdecker and Theofanis Vassiliou-Gioles, 2008.

[Misc 16] "Testen mit TTCN-3. Vorteile und Nutzen einer mächtigen und zudem standardisierten Testtechnologie", Ina Kathrin Schieferdecker and Theofanis Vassiliou-Gioles, 2007.

[Misc 15] "Advanced Test Processes using TTCN-3", Thomas Deiss and Axel Rennoch and Ina Kathrin Schieferdecker and Theofanis Vassiliou-Gioles, 2006.Testing is an important step in the development of a software-intensive system, as it checks the compliance of a system to the (end) user requirements. In order to fulfil the market demands for better and faster system development, testing such systems has to be done in a more effective and efficient way. By more effective testing, a better indication of product quality is provided; by more efficient testing this indication is provided faster. The ITEA project TT-Medal has focused on the development of testing methods with advanced languages and the demonstration of these test methods in industrial case studies.,

[Misc 14] "A Vision for Automated Testing", A. Ahtiainen and S. Burton and Z.R. Dai and T. Deiss and J. Herrmann and E. Höfig and A. Huima and N. Ioustinova and M. Kärki and B.-J. d. Leuw and J. v.d. Pol and A. Rennoch and H. Rytilä and I. Schieferdecker and E. v.Veenendaal and L. Wolters and J. Zander-Nowicka, 2005.

[Misc 13] "Eine TTCN-3 Testplattform für reaktive Systeme", Ina Kathrin Schieferdecker, Berlin 2004.

[Misc 12] "Three Countries Offensive towards Testing with Advanced Languages", Wan Fokkink and Matti Kärki and Jaco v.d. Pol and Axel Rennoch and Ina Kathrin Schieferdecker and Markus Sihvonen, 2004.

[Misc 11] "A Methodology for Policy Conflict Detection Using Model Checking Techniques", Peter H. Deussen and Ina Kathrin Schieferdecker and Hiroaki Kamoda, 2004.

[Misc 10] "Testen CORBA-basierter Systeme mit TTCN-3", Theofanis Vassiliou-Gioles and Ina Kathrin Schieferdecker, 2003.CORBA-basierte Systeme werden im TK und IT Sektor zur Realisierung verteilter Anwendungen wie im E-Business oder für Internet-Lösungen genutzt. Mit dem zunehmenden Einsatz CORBA-basierter Systeme in geschäfts- und sicherheitskritischen Bereichen nimmt der Bedarf an zuverlässigen Testlösungen zu. Mit TTCN-3 – der Testing and Test Control Notation – und der Anbindung von TTCN-3 an IDL – der Beschreibungssprache für Schnittstellen CORBA-basierter Systeme – steht nun eine Testlösung für systematische Tests auf Funktionalität, Leistungsfähigkeit, Sicherheit, etc. von CORBA-basierten Systemen zur Verfügung.,

[Misc 9] "Improving Test Software using TTCN-3", Marion Schünemann and Ina Kathrin Schieferdecker and Axel Rennoch and Mang Li and Claude Desroches, 2001.This paper presents our findings with the Testing and Test Control Notation (TTCN-3). Using recently developed tools, we have successfully implemented a TTCN-3 test suite for the GIOP/IIOP standardized CORBA interoperability protocol. Of particular interest are TTCN-3 improvements over its predecessor Tree and Tabular Combined Notation (TTCN-2). This paper described the GIOP test suite, its design and implementation and compares it to a TTCN-2 test suite for GIOP. With our comparison, we specifically address test developers with technical knowledge on at least one of the TTCN versions.,

[Misc 8] "TINA Conformance Testing Framework", Mang Li and Ina Kathrin Schieferdecker, 2000.TINA combines modern methodologies and techniques, such RM-ODP [11] and CORBA [15] to support the development of large-scale telecommunication systems. TINA provides an open architecture for a multi-vendor environment. The TINA architecture addresses a wide range of issues and provides a complex set of concepts and principles. It has been partitioned into several models, subsystems, components etc. in order to handle the complexity. An essential partitioning concept is that of reference points (RPs). points consist of a set of interfaces together with potential interactions at these interfaces. Reference point specifications define conformance requirements for a relationship between or within administrative domains of distributed systems. The TINA reference point concept follows the RM-ODP conformance assessment principles [11]. An example for an inter-domain reference point is the Retailer Reference Point [23]. Key issues for multi-vendor systems is interoperability. Reference points as a collection of conformance requirements are the basis to increase the likelihood for interoperability. Conformance testing is an effective and efficient means to validate the overall functionality of a multi-vendor system. It is a wellestablished alternative to the otherwise needed many-to-many test setups for individual components and/or sub-systems to ensure their interoperability.,

[Misc 7] "On the Verification of deterministic Bounds for Quality-of-Service Characteristics of Communication Protocols", Ina Kathrin Schieferdecker, 1993.

[Misc 6] "Verifying Performance Bounds of Communication Protocols", Schieferdecker, Ina and Wolisz, Adam, 1993.

[Misc 5] "Operational semantics of timed interacting systems. An algebraic performance-oriented formal description technique", Ina Kathrin Schieferdecker and Adam Wolisz, 1992.

[Misc 4] "Technological Sovereignty as Ability, Not Autarky", Christoph March and Ina Kathrin Schieferdecker, 2021.Aspirations towards technological sovereignty increasingly pervade the political debate. Yet, an ambiguous definition leaves the exact goal of those aspirations and the policies to fulfill them unclear. This leaves room for partly particularly negative interpretations, such as equating the concept with a strive for autarky, nationalism, and the roll-back of globalization. We develop a competence-based definition of technological sovereignty, which puts innovation policy at the core of fulfilling sovereignty aspirations. Moreover we show how our definition realigns technological sovereignty with international cooperation and trade. Two case studies illustrate how innovation policy might be used to achieve technological sovereignty.,

[Misc 3] "Die digitalisierte Nachhaltigkeitsgesellschaft", Dirk Messner and Ina K. Schieferdecker, https://www.sonnenseite.com/ 2019.

[Misc 2] "‘Our Common Digital Future’ – a Charter for a Sustainable Digital Age (draft)", Martina Fromhold-Eisebith and Ulrike Grote and Ellen Matthies and Dirk Messner and Karen Pittel and Hans Joachim Schellnhuber and Ina Kathrin Schieferdecker and Sabine Schlacke and Uwe Schneidewind, 2020.The institutional framework for global sustainable development in the Digital Age needs a normative reference point in the form of an international charter for a sustainable Digital Age. The WBGU submits here a draft for such a charter. It ties in with the 2030 Agenda and the Declaration of Human Rights and, at the same time, goes beyond them. The charter is intended to serve as a system of principles, objectives and standards for the international community and to link digital change with the necessary global sustainability perspective. It formulates objectives and principles for the protection of human dignity, natural life-support systems, inclusion in and access to digital and digitalized infrastructures and technologies, as well as individual and collective freedom of development in the Digital Age. On this basis, the charter sets out concrete guidelines for action to be drawn up by the international community with a view to the challenges of the Digital Age. The charter contains three core elements: First, digitalization should be designed in line with the 2030 Agenda, and digital technology should be used to achieve the SDGs. Second, beyond the 2030 Agenda, systemic risks should be avoided, in particular by protecting civil and human rights, promoting the common good and ensuring decision-making sovereignty. Third, societies must prepare themselves procedurally for future challenges by agreeing, among other things on ethical guidelines and ensuring future-oriented research and education.,

@Misc{FromholdEisebith2020a,
author       = {Martina Fromhold-Eisebith and Ulrike Grote and Ellen Matthies and Dirk Messner and Karen Pittel and Hans Joachim Schellnhuber and Ina Kathrin Schieferdecker and Sabine Schlacke and Uwe Schneidewind},
title        = {‘Our Common Digital Future’ – a Charter for a Sustainable Digital Age (draft)},
howpublished = {Online},
type         = {misc},
url          = {https://www.wbgu.de/en/publications/charter},
abstract     = {The institutional framework for global sustainable development in the Digital Age needs a normative reference point in the form of an international charter for a sustainable Digital Age. The WBGU submits here a draft for such a charter. It ties in with the 2030 Agenda and the Declaration of Human Rights and, at the same time, goes beyond them. The charter is intended to serve as a system of principles, objectives and standards for the international community and to link digital change with the necessary global sustainability perspective. It formulates objectives and principles for the protection of human dignity, natural life-support systems, inclusion in and access to digital and digitalized infrastructures and technologies, as well as individual and collective freedom of development in the Digital Age. On this basis, the charter sets out concrete guidelines for action to be drawn up by the international community with a view to the challenges of the Digital Age.
The charter contains three core elements: First, digitalization should be designed in line with the 2030 Agenda, and digital technology should be used to achieve the SDGs. Second, beyond the 2030 Agenda, systemic risks should be avoided, in particular by protecting civil and human rights, promoting the common good and ensuring decision-making sovereignty. Third, societies must prepare themselves procedurally for future challenges by agreeing, among other things, on ethical guidelines and ensuring future-oriented research and education.},
file         = {2020/FromholdEisebith2020a - ‘Our Common Digital Future’ – a Charter for a Sustainable Digital Age (draft).pdf},
year         = {2020},
}

[Misc 1] "Transforming our World in the Digital Age", Martina Fromhold-Eisebith and Ulrike Grote and Ellen Matthies and Dirk Messner and Karen Pittel and Hans Joachim Schellnhuber and Ina Kathrin Schieferdecker and Sabine Schlacke and Uwe Schneidewind, ISBN: 978-3-946830-29-0, 2019.Digitalization fundamentally changes the possible pathways for future development. At the same time implementing the 2030 Agenda for Sustainable Development requires a fundamental transformation of the economy and society. So what could be more appropriate than to harness the momentum of digitalization to launch decisive stimuli for the Transformation towards Sustainability? What interventions and collaborations does this require? And what are the risks if such a technological revolution is not properly monitored? The world society is only gradually beginning to discuss such questions. Yet it’s high time. This is an invitation.,

Automatically generated from this bibtex using the Smartbib project