Filters








1,604 Hits in 3.2 sec

Automated model translations for vehicular real-time embedded systems with preserved semantics

Saad Mubeen, Mikael Sjödin, Jukka Mäki-Turja, Kurt-Lennart Lundbäck, Peter Wallin
2013 ACM SIGBED Review  
In this paper, we present the work in progress on bridging the semantic gap that exits between such models that are used for the development of real-time embedded systems in the segment of construction-equipment  ...  Benefits that are sought include; use of precise and unambiguous notations to describe complex features, preservation of timing properties after translations, faster turn-around times in early design-phases  ...  In this paper, we present the work in progress on bridging the semantic gap that exits between such models that are used for the development of real-time embedded systems in the segment of construction-equipment  ... 
doi:10.1145/2518148.2518168 fatcat:d4z64v35drbkxjmfwymzfmjrpm

The challenge of interoperability

Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep Shukla, Shinichi Shiraishi
2015 Proceedings of the 52nd Annual Design Automation Conference on - DAC '15  
A novel model-based formal integration framework is being developed to enable architecture modeling, timing specification, formal semantics, design by contract and optimization in the system-level design  ...  However, heterogeneity, interoperability, and the lack of formal semantic underpinning in modeling, integration, validation and optimization make design automation a big challenge, which becomes a hindrance  ...  A formal model of computation (MoC), called Polychrony [6] , was adopted as a supporting semantic model to enable an unambiguous and trustworthy integration.  ... 
doi:10.1145/2744769.2747945 dblp:conf/dac/YuJTSS15 fatcat:dlsu7o7t4bgebgx7bv4wrlk7z4

A Formal Behavioral Semantics for TestML

Jürgen Grossmann, Wolfgang Müller
2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)  
In this paper, we present a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs).  ...  TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format  ...  Friske (Fraunhofer/FIRST), Alexander Krupp (C-LAB), Klaus Lamberg and Christian Wewetzer (dSPACE), Ines Fey (DaimlerChrysler), and Mirko Conrad (The MathWorks).  ... 
doi:10.1109/isola.2006.37 dblp:conf/isola/GrossmannM06 fatcat:mxaunw57j5covas6ryqxmrdete

Semantic Digital Factory – Using Engineering Knowledge to Create Ontologies for Virtual Training

Dominic Gorecky, Matthias Loskyll, Christian Stahl
2014 IFAC Proceedings Volumes  
The VISTRA ontology represents the core element of a semantic knowledge platform (including semantic repositories and web services interfaces), which aims at establishing an interoperable, unambiguous  ...  The following paper investigates the design, implementation and practical usage of ontologies for virtual assembly training in the automotive industry.  ...  ACKNOWLEDGEMENT This research was conducted in the context of the VISTRA project, which is co-funded by the 7th Framework Programme of the European Union under theme "ICT-2011.7.4 Digital Factories: Manufacturing  ... 
doi:10.3182/20140824-6-za-1003.01036 fatcat:su2lrtpewnej3fbk3hz5teacma

A semantic-mediation architecture for interoperable supply-chain applications

M. Vujasinovic, N. Ivezic, B. Kulvatunyou, E. Barkmeyer, M. Missikoff, F. Taglino, Z. Marjanovic, I. Miletic
2009 International journal of computer integrated manufacturing (Print)  
The architecture was implemented using a state-of-the-art semantic-mediation toolset for design-time and run-time integration tasks.  ...  The architecture supports a supply-chain integration scenario where heterogeneous automotive manufacturing supply-chain applications exchange inventory information.  ...  conceptual model of data in some particular business domain.  ... 
doi:10.1080/09511920802616781 fatcat:s6gm7kz36vdnddtau4ni72b5xi

Verifying system behaviors in EAST-ADL2 with the SPIN model checker

Lei Feng, DeJiu Chen, Henrik Lonn, Martin Torngren
2010 2010 IEEE International Conference on Mechatronics and Automation  
This paper shows one approach to augment the language with precise syntax and semantics for behavior, and develops a procedure that transforms the composed behavioral model to the SPIN model for logic  ...  EAST-ADL2 is a domain-specific architecture description language to support the model-based development of automotive embedded systems.  ...  Message queues with various operational semantics can be precisely modeled by message channels in SPIN.  ... 
doi:10.1109/icma.2010.5588261 fatcat:vsyopj2aczasfnnlcf2byqhjji

ReSA: An ontology-based requirement specification language tailored to automotive systems

Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES)  
In this paper, we propose a language, called ReSA, which allows requirements specification at various levels of abstraction, modeled in the architectural language of EAST-ADL.  ...  Automotive systems are developed using multileveled architectural abstractions in an attempt to manage the increasing complexity and criticality of automotive functions.  ...  For that matter, system-level ontology can be specialized to levels of abstraction found in automotive development models other than EAST-ADL [30] .  ... 
doi:10.1109/sies.2015.7185035 dblp:conf/sies/MahmudSL15 fatcat:3cgh2iwckff2hh4fw5vm4ta2mq

Foreword to the special section on synchronous programming

Jean-Pierre Talpin
2013 Frontiers of Computer Science  
These research areas consist of programming models, abstractions, semantics preserving refinements, real-time and other nonfunctional constraint based model elaboration, automated synthesis of code, and  ...  Stream based programming models, Petri nets, process algebra and various semantically enriched UML models also belong to these.  ... 
doi:10.1007/s11704-013-3905-5 fatcat:w3qx6kdphnd7jh2w67l4xqzkw4

Manufacturing interoperability

S. R. Ray, A. T. Jones
2006 Journal of Intelligent Manufacturing  
This paper summarizes two projects underway at the National Institute of Standards and Technology in the areas of interoperability testing and integration automation.  ...  This has been the practice, for example, in the automotive sector.  ...  It uses a Web-based, graphical, user interface to monitor the business interactions in real time.  ... 
doi:10.1007/s10845-006-0037-x fatcat:cnoxwimm65a6djj4bsf5e3f73i

Automotive software integration

Razvan Racu, Arne Hamann, Rolf Ernst, Kai Richter
2007 Proceedings - Design Automation Conference  
AUTOSAR shall replace or extend earlier proprietary software architecture solutions, but it does not yet sufficiently address time and platform modeling and specification.  ...  It will show how recent results in compositional performance analysis can be exploited to analyze such networked systems, and how to apply design space exploration in a complex automotive supply chain.  ...  There are timing models available that could unambiguously capture and specify such timing properties. Bus Communication A look at bus communication reveals another type of mismatch.  ... 
doi:10.1145/1278480.1278619 dblp:conf/dac/RacuHER07 fatcat:u7pcgrrlmzcizcsg4au6frzhwq

Automotive Software Integration

Razvan Racu, Arne Hamann, Rolf Ernst, Kai Richter
2007 Proceedings - Design Automation Conference  
AUTOSAR shall replace or extend earlier proprietary software architecture solutions, but it does not yet sufficiently address time and platform modeling and specification.  ...  It will show how recent results in compositional performance analysis can be exploited to analyze such networked systems, and how to apply design space exploration in a complex automotive supply chain.  ...  There are timing models available that could unambiguously capture and specify such timing properties. Bus Communication A look at bus communication reveals another type of mismatch.  ... 
doi:10.1109/dac.2007.375224 fatcat:vqema2phpjhz3iln7q3sofag5i

No need to learn from each other? — Potentials of knowledge modeling in autonomous vehicle systems engineering towards new methods in multidisciplinary contexts

Ferdinand Schafer, Reiner Kriesten, Daniela Chrenko, Franck Gechter
2017 2017 International Conference on Engineering, Technology and Innovation (ICE/ITMC)  
Thus, these new requirements lead naturally to the design of new method for engineering in automotive field.  ...  The goal of this paper is to sketch an overview of the possible improvements that Knowledge Modeling and ontologies can bring to Systems Engineering and especially in the case of Autonomous Driving functions  ...  Moreover, a model-based methodology which has been evaluated in the automotive context will be referred.  ... 
doi:10.1109/ice.2017.8279921 dblp:conf/ice-itmc/SchaferKCG17 fatcat:a6hrnvifabcsvau2c7jxnd4tpe

An Expressive Semantics of Mocking [chapter]

Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
2014 Lecture Notes in Computer Science  
We present a semantics of mocking, based on a process calculuslike formalism, and an associated mocking framework.  ...  The expressiveness is inspired by a large use case of mocking in a model-based testing project in the automotive software domain, but the solution is generally applicable in other domains as well.  ...  In the AUTOSAR project we used QuickCheck [6, 2] to model the software components.  ... 
doi:10.1007/978-3-642-54804-8_27 fatcat:yr2iu5o7qfctnlgimniayfyngq

Translating end-to-end timing requirements to timing analysis model in component-based distributed real-time systems

Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin
2012 ACM SIGBED Review  
We discuss the problem of translating end-to-end timing requirements unambiguously from component-based real-time systems into timing analysis models which are required as input by the analysis tools.  ...  Often, component-based real-time systems are modeled with trigger and data chains. The end-to-end timing requirements on trigger chains are different from those on data chains.  ...  [15] formally described end-to-end timing constrains in automotive domain.  ... 
doi:10.1145/2452537.2452539 fatcat:nlfjrf44fbgc7fbamghutm23kq

Systematic testing of the continuous behavior of automotive systems

Eckard Bringmann, Andreas Krämer
2006 Proceedings of the 2006 international workshop on Software engineering for automotive systems - SEAS '06  
In this paper, we introduce a new test method that enables the systematic definition of executable test cases for testing the continuous behavior of automotive embedded systems.  ...  This new approach is already in use in several production-vehicle development projects at DaimlerChrysler and at some suppliers.  ...  The sampled executable semantics differs from the intended continuous semantics in terms of timing and value imprecision.  ... 
doi:10.1145/1138474.1138479 fatcat:iqrw2meobbelbktdwifhvtmn4a
« Previous Showing results 1 — 15 out of 1,604 results