Justyna Zander - Publikacje - MOST Wiedzy

Wyszukiwarka

Filtry

wszystkich: 22

  • Kategoria
  • Rok

wyczyść Filtry wybranego katalogu niedostępne

Katalog Publikacji

Rok 2013
  • A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models
    Publikacja

    - Rok 2013

    Multiple time models have been proposed for the formalization of hybrid dynamic system behavior. The superdense notion of time is a well-known time model for describing event-based systems where several events can occur simultaneously. Hyperreals provide a domain for defining the semantics of hybrid models that is elegantly aligned with first principles in physics. This paper discusses the value of both time models and shows how...

  • Grand Challenges on the Theory of Modeling and Simulation
    Publikacja
    • S. J. E. Taylor
    • A. Khan
    • K. L. Morse
    • A. Tolk
    • L. Yilmaz
    • J. Zander

    - Rok 2013

    Modeling & Simulation (M&S) is used in many different fields and has made many significant contributions. As a field in its own right, there have been many advances in methodologies and technologies. In 2002 a workshop was held in Dagstuhl, Germany, to reflect on the grand challenges facing M&S. Ten years on, a series of M& S Grand Challenge activities are marking a decade of progress and are providing an opportunity to reflect...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Model-based testing for execution algorithms in the simulation of cyber-physical systems
    Publikacja

    - Rok 2013

    The understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Semantics for an Interdisciplinary Computation
    Publikacja

    - Rok 2013

    Semantics for an interdisciplinary computation is becoming increasingly difficult to capture while dealing with multi-domain problems. Expertise from Computer Science, Computer Engineering, Electrical Engineering, and other disciplines merges as engineering challenges in modern systems, such as, Cyber-Physical Systems, Smart Cities, and Bionic Systems must be tackled in a methodological manner. In this paper, a paradigm for formalization...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Systematic Management of Simulation State for Multi-Branch Simulations in Simulink
    Publikacja

    - Rok 2013

    Systematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • The Towers of Hanoi as a Cyber-Physical System Education Case Study
    Publikacja

    - Rok 2013

    cps

    Pełny tekst do pobrania w serwisie zewnętrznym

Rok 2012
Rok 2011
  • On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
    Publikacja
    • J. Zander
    • P. J. Mosterman
    • G. Hamon
    • B. Denckla

    - Rok 2011

    Hybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...

    Pełny tekst do pobrania w serwisie zewnętrznym

Rok 2009
Rok 2008
  • Quality of Test Specification by Application of Patterns
    Publikacja

    - Rok 2008

    Embedded system and software testing requires sophisticated methods, which are nowadays frequently supported by application of test patterns. This eases the test development process and contributes to the reusability and maintainability of the test specification. However, it does not guarantee the proper level of quality and test coverage in d ifferent dimensions of the test specification. In this paper the quality of the test...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Systematic Test Data Generation for Embedded Software
    Publikacja

    - Rok 2008

    Systematic Test Data Generation for Embedded Software

    Pełny tekst do pobrania w serwisie zewnętrznym

Rok 2007
Rok 2006
  • Automotive Validation Functions for On-line Test Evaluation of Hybrid Real-time Systems
    Publikacja

    - Rok 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
    Publikacja

    - Rok 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Werkzeugübergreifende Konsistenzsicherung von Artefakten bei der Entwicklung softwarebasierter Systeme im Automobil
    Publikacja
    • T. Farkas
    • A. Leicher
    • H. Röbig
    • M. Born
    • T. Klein
    • J. Zander

    - Rok 2006

    Die Entwicklung von eingebetteten Systemen im Auto mobilbereich zeichnet sich zunehmend durch steigende Komplexität der zu entwickelnden Fahrzeugfunktionen aus. Die Handhabung dieser Kompl exität wird über entsprechend mächtige Werkzeuge, welche die verschi edenen Aktivitäten des Softwareentwicklungsprozesses unterstützen, angestr ebt. Als eine Schwachstelle erweist sich dabei, dass die eingesetzten Werkzeugk etten im Automobilbereich...

    Pełny tekst do pobrania w serwisie zewnętrznym

Rok 2005
Rok 2004
  • Test Execution Logging and Visualization Techniques
    Publikacja

    - Rok 2004

    Traditionally, log traces of test cases ex ecution are stored in textual format and their analysis is done in a post- execution phase. Our approach bases on the concept of gr aphical presentation of te st execution which enables better analysis of log traces and also gives the opportunity to consider them on-line. In particular, we discuss the graphical symbols we chose, we pres ent the logging interface we defined a nd describe...

    Pełny tekst do pobrania w serwisie zewnętrznym

wyświetlono 321 razy