P215 - Software Engineering 2013 Workshopband (inkl. Doktorandensymposium)
Auflistung nach:
Auflistung P215 - Software Engineering 2013 Workshopband (inkl. Doktorandensymposium) nach Titel
1 - 10 von 59
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAndroStep: Android storage performance analysis tool(Software Engineering 2013 - Workshopband, 2013) Jeong, Sooman; Lee, Kisung; Hwang, Jungwoo; Lee, Seongjin; Won, YoujipThe applications in Android based smartphones generate unique IO requests; however, existing IO workload generators and trace capturing tools are designed to neither generate nor capture the IO requests of Android apps. In this paper, we introduce the Android storage performance analysis Tool (AndroStep) which is specifically designed for characterizing and analyzing the behavior of the IO subsystem in Android based devices. AndroStep consists of workload generator, called Mo- bibench, and workload analyzer, called Mobile Storage Analyzer (MOST). Mobibench is an android App, which generates typical filesystem workloads, e.g., Random vs. Sequential and Synchronous vs. Buffered IO, as well as the most dominant workload in Android platform: SQLite insert/update and a write followed by fsync() call. Mobibench can also vary the number of concurrent threads to examine the storage and filesystem overhead to support concurrency, e.g., metadata updates, journal file creation/deletion. MOST capture the trace and extracts key filesystem access characteristics: access pattern with respect to file types, ratio between random vs. sequential access, ratio between buffered vs. synchronous IO, fraction of metadata accesses, etc. MOST implements reverse mapping feature (finding an inode for a given block) and retrospective reverse mapping (finding an inode for a deleted file). We explain the structure and usage of AndroStep in detail. We verify performance result of Mobibench on eight smartphone models.
- KonferenzbeitragAnforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen(Software Engineering 2013 - Workshopband, 2013) Große-Rhode, Martin; Manhart, Peter; Mauersberger, Ralf; Schröck, Sebastian; Schulze, Michael; Weyer, ThorstenIm Rahmen des bereits abgeschlossenen BMBF-Projektes SPES 2020 wurden mit dem SPES 2020 Modeling Framework verschiedene integrierte Konzepte, Techniken und Methoden zum durchgängigen Engineering von softwareintensiven eingebetteten Systemen entwickelt. Die aus Sicht der Industrie äußerst relevante Fragestellung nach einer möglichst bruchfreien Unterstützung des durch- gängigen Variantenmanagements und der Wiederverwendung wurde dabei bewusst nicht betrachtet. Im Rahmen des Nachfolgeprojektes SPES_XT soll nun der SPES 2020 Modeling Framework um die Unterstützung für ein durchgängiges Va- riantenmanagement und der Wiederverwendung erweitert werden. Im vorliegenden Beitrag werden hierzu die systematisch erarbeiteten Anforderungen der Branchen Automatisierungstechnik, Automotive und Avionik vorgestellt. Auf Grundlage der Anforderungen werden dann zentrale Forschungsfragestellungen skizziert.
- KonferenzbeitragAn artifact-oriented framework for the seamless development of embedded systems(Software Engineering 2013 - Workshopband, 2013) Böhm, Wolfgang; Vogelsang, AndreasTransferring novel modeling concepts and approaches into a well established and customized industrial context is not easy. They have to be mapped to the specific development process of the application domain, must complement the existing tools, and exhibit certain representations. Artifact-oriented development distinguishes between the development process and the created artifacts in the context of a given development project. This paper provides a conceptual framework that encompasses an artifact-oriented view onto the development of embedded systems. We argue that this artifact-oriented view provides means to map academic models and description techniques onto existing development processes in industry. It furthermore provides the basis for the definition of tracing links and dependencies between the different contents and artifacts, allowing for a seamless development of artifacts.
- KonferenzbeitragAssembly-based method engineering with method patterns(Software Engineering 2013 - Workshopband, 2013) Fazal-Baqaie, Masud; Luckey, Markus; Engels, GregorSoftware development methods prescribe and coordinate the activities necessary to plan, build, and deliver software. To provide methods that account for the situational context of a development project, e.g., an acquirer-supplierrelationship or specific communication needs, the existing method creation approaches represent a trade-off between flexibility and ease of use. On the one side, less flexible configurable methods offer a fixed set of configurations to quickly adapt a method to the situation at hand. On the other side, assembly-based approaches allow creating methods from scratch by combining preexisting building blocks. Thus, they are more flexible and capable of creating methods not covered by configurations of configurable methods, e.g., a mixture of agile and plan-driven ideas. However, assembly-based approaches are not easy to use and require considerable expert knowledge. In this paper we suggest the use of method patterns during the assembly-based method creation. Method patterns represent desirable principles for the to-be-method and therefore support the right choice and combination of method building blocks, simplifying assembly-based method creation.
- KonferenzbeitragAutomated termination analysis: from term rewriting to programming languages(Software Engineering 2013 - Workshopband, 2013) Giesl, Jürgen
- KonferenzbeitragBuilding secure systems using a security engineering process and security building blocks(Software Engineering 2013 - Workshopband, 2013) Rein, Andre; Rudolph, Carsten; Ruiz, Jose Fran.In today's software development process, security related design decisions are rarely made early in the overall process. Even if security is considered early, this means that in most cases a more-or-less encompassing security requirements analysis is made. Based on this analysis best-practices, ad-hoc design decisions or individual expertise is used to integrate security during the development process or after weaknesses are found after the deployment. This paper explains the SecFutur security engineering process with a focus on Security Building Block Models which are used to build security related components, namely Security Building Blocks. These Security Building Blocks represent concrete security solutions and can be accessed via SecFu- tur patterns on the level of domain-specific models for particular application domains. The goal of this approach is to provide already defined and tested security related software components, which can be used early in the overall development process, to support security-design-decision already while modeling the software-system. Security Building Blocks are discussed in the context of the SecFutur Security Engineering Process with its requirement analysis and definition of security properties.
- KonferenzbeitragCASM: Implementing an Abstract State Machine based Programming Language(Software Engineering 2013 - Workshopband, 2013) Lezuo, Roland; Barany, Gergö; Krall, AndreasIn this paper we present CASM, a general purpose programming language based on abstract state machines (ASMs). We describe the implementation of an interpreter and a compiler for the language. The demand for efficient execution forced us to modify the definition of ASM and we discuss the impact of those changes. A novel feature for ASM based languages is symbolic execution, which we briefly describe. CASM is used for instruction set simulator generation and for semantic description in a compiler verification project. We report on the experience of using the language in those two projects. Finally we position ASM based programming languages as an elegant combination of imperative and functional programming paradigms which may liberate us from the von Neumann style as demanded by John Backus.
- KonferenzbeitragCombining safety engineering and product line engineering(Software Engineering 2013 - Workshopband, 2013) Schwinn, Jean-Pascal; Adler, Rasmus; Kemmann, SörenProduct line engineering and safety engineering for software address current challenges in the development of software-intensive, safety-critical embedded systems. The two engineering disciplines have different goals and the approaches for achieving these goals have been created independently from each other. For this reason traditional safety engineering methods do not fit to traditional methods for software product line engineering. The reasearch project "Safe ReSA (Safe Reusable Safety Artifacts)" between the Fraunhofer IESE and Siemens AG has the goal to extend traditional safety engineering methods so that safety engineering can be applied to the reusable artifacts that are created in product line engineering. Sequentially, we present how we extended methods for analyzing cause-effect relation between failures, for developing a safety concept and a safety case. Additionally, we present lessons learned from industry projects and our tool for applying the extended methods to complex real world systems.
- KonferenzbeitragData Lineage Goes Traceability - oder was Requirements Engineering von Business Intelligence lernen kann(Software Engineering 2013 - Workshopband, 2013) Ditze, AndreasData Lineage ist als Konzept in Business Intelligence Systemen unabdingbar, um z.B. die Verwendung bzw. Verfolgung von Attributen über die verschiedenen Ebenen einer Data Warehouse Infrastruktur zu ermöglichen. Ausgehend von den Attributen des fachlichen Datenmodells über die Spalten des physischen Datenbankmodells der operativen Systeme werden die Informationen über die Data Warehouse Schicht bis zur Data Mart Schicht per Data Lineage verfolgt. Diese Konzepte, Mechanismen und entsprechende Werkzeugunterstützung lassen sich nahezu 1:1 auf die Traceability-Anforderungen eines Requirements Engineering \& Management anwenden. Der Beitrag zeigt anhand von kleinen Praxisbeispielen die Vergleichbarkeit der beiden Konzepte auf und stellt eine entsprechende Werkzeugunterstützung vor.
- KonferenzbeitragDebugging cross-platform mobile apps without tool break(Software Engineering 2013 - Workshopband, 2013) Hausmann, Christoph; Blitz, Patrick; Baumgarten, UweBesides its use in the web, the JavaScript programming language has become the basis of some of today's most important mobile cross-platform development tools. To enable and simplify debugging in such environments, this paper presents a novel method for debugging interpreted JavaScript code. The described method uses source code instrumentation to transform existing JavaScript programs in a way that makes them debuggable when executed in any standard JavaScript environment.