By Topic

ITG FA 6.2 Workshop on Model-Based Testing, GI/ITG Workshop on Non-Functional Properties of Embedded Systems, 13th GI/ITG Conference Measuring, Modelling, and Evaluation of Computer and Communications

27-29 March 2006

Filter Results

Displaying Results 1 - 11 of 11
  • System tests for Enterprise JavaBeans and Java based Applications with TTCN-3

    Publication Year: 2006, Page(s):1 - 17
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (269 KB)

    Nowadays the use of complex distributed systems increases rapidly and the need for solid testing, too. Enterprise JavaBeans (EJB) is one of the most used standards for developing distributed systems. The applications based on EJB technology are secure, concurrent, transactional, etc. TTCN is in the telecommunication domain a widely established and used test technology. In its new version, TTCN-3 (... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Embeding traffic capturing and analysis extensions into TTCN-3 System Adaptor

    Publication Year: 2006, Page(s):1 - 9
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (223 KB)

    TTCN-3 testing of Internet Protocols requires the development of TTCN-3 API components for the particular protocol and platform. It also requires the adaptation of TTCN-3 philosophy into the Internet Community practices. This work presents a way to extend TTCN-3 APIs using well known libraries and tools for the Internet Community, combining them to ease test logging and analysis. The extensions pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Statistical testing of DECT modules

    Publication Year: 2006, Page(s):1 - 9
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1244 KB)

    The Q.E.D project (QoS enhanced development using UML2.0 and TTCN-3) developed at the University of Erlangen-Nuernberg offers methods to derive test cases from UML2 sequence diagrams. These are converted to a markov chain usage model which represents the estimated usage of the system. Through annotating the outgoing transitions of a state with probabilities test cases can be generated automaticall... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timed Testing with TorX

    Publication Year: 2006, Page(s):1 - 10
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (163 KB)

    We describe an approach to on-the-fly real-time testing based on non-deterministic timed automata. The approach is based on standard computations on zone automata. We present algorithms for practical testing, as they were implemented in the testing tool TorX. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing Non-Functional Requirements - A Layered Modeling Approach

    Publication Year: 2006, Page(s):1 - 7
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (165 KB)

    The consideration of non-functional requirements, like dependability or real-time ability, is essential for the development of embedded, automotive software. In combination with the high amount of software variants in this domain, the fulfillment of such requirements is a challenging task and in focus of current research. However, current methods for fulfilling non-functional requirements lack of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Energy-aware Reconfiguration of Sensor Nodes

    Publication Year: 2006, Page(s):1 - 7
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (157 KB)

    Energy consumption is one of the most challenbring constraints for the design and implementation of sensor networks. As sensor nodes are commonly battery-driven, the way the available energy is used determines the lifetime of the system. In recent research, a variety of approaches has been investigated to predict energy consumption off-line using simulation, emulation, code analysis and energy mod... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Event-Flow and Synchronization in Single Threaded Systems

    Publication Year: 2006, Page(s):1 - 8
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (344 KB)

    Deeply embedded systems become more and more important in everyday life. As the number of systems increases, the demand for programming platforms, which help with handling non-functional properties like synchronization, grows. Using the event-flow principle for programming leads to implicit synchronization for the application programmer¿s point of view and allows efficient explicit synchronizatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Review of Aspect-Oriented Software Development Techniques Used in Real-Time and Embedded Systems Software

    Publication Year: 2006, Page(s):1 - 12
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (194 KB)

    Timeliness and criticality of a process are the two main concerns when designing real-time systems. In addition to that embedded systems are bounded by limited resources. To achieve timeliness and conform to the criticality issues of various processes while at the same time using a minimal amount or resources, real-time embedded systems use different techniques such as task scheduling, resource ma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Separating Active and On-Demand Behavior of Embedded Systems into Aspects

    Publication Year: 2006, Page(s):1 - 9
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (434 KB)

    Requirements on embedded systems have increased over the years leading to an increased complexity of software and, consequently, higher development and maintenance costs. One major part of the cost is the way data is engineered and maintained in the system so that resources, such as CPU, are used efficiently. There exist various ways of optimizing CPU usage by controlling how often calculations on... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Time-Triggered vs. Event-Triggered: A matter of configuration?

    Publication Year: 2006, Page(s):1 - 6
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (295 KB)

    During the development of real-time systems one has either to plump for a time-triggered or an event-triggered architecture. Actually this decision deals with a non-functional property of a real-time system and should therefore be postponed as far as possible. Unfortunately, this property also exhibits functional qualities during the development of real-time systems making this postponement imposs... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Message Scheduled System (MSS): A Composable Architecture for Distributed Real-Time Systems

    Publication Year: 2006, Page(s):1 - 11
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (145 KB)

    Composability is a term that is often used but seldom defined. In this paper, we present a definition of composability as a property of a system architecture. This allows to provide means to reach certain target properties at the architecture rather than the system level. As an example we introduce the Message Scheduled System (MSS) which is an architecture that is composable with respect to tempo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.