Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(10)
Automotive Industry
Control Algorithm
Development Process
Functional Model
model-based development
Software Architecture
Software Engineering
System Design
System Engineering
System Modeling
Subscribe
Academic
Publications
Models for model's sake: why explicit system models are also an end to themselves
Models for model's sake: why explicit system models are also an end to themselves,10.1145/1368088.1368165,Oliver Niggemann,Joachim Stroop
Edit
Models for model's sake: why explicit system models are also an end to themselves
(
Citations: 3
)
BibTex
|
RIS
|
RefWorks
Download
Oliver Niggemann
,
Joachim Stroop
In automotive software and system design, explicit system and especially software models have only recently found their way into the development process. This paper will try to give an overview for what such models have so-far been used and which advantages they brought to vehicle manufacturers and suppliers. Another focus of this paper is the comparison to functional models which are already used in the
automotive industry
to define control algorithms and function implementation. In many cases too strong analogies have been seen between the existing functional
control algorithm
models and the new system models - leading to suboptimal development processes and tools. This paper will therefore try to outline differences between these model types. Finally, a synthesis between functional, system, and software models will be sketched.
Conference:
International Conference on Software Engineering - ICSE
, pp. 561-570, 2008
DOI:
10.1145/1368088.1368165
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
portal.acm.org
)
(
portal.acm.org
)
(
doi.acm.org
)
(
www.informatik.uni-trier.de
)
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
More »
Citation Context
(2)
...When sufficiently detailed, they allow for an automated transformation into code or other software artifacts [
6
]...
Thomas Aschauer
.
Towards a multi-level modeling language for testbed automation systems
...from broadcasting-based communication architectures [
29
]...
Tobias Eckardt
,
et al.
Modeling and verifying dynamic communication structures based on graph...
References
(5)
AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software
(
Citations: 23
)
Andreas Bauer
,
Manfred Broy
,
Jan Romberg
,
Bernhard Schätz
,
Peter Braun
,
Validas AG
,
Ulrich Freund
,
Nuria Mata
,
Robert Sandner
,
BMW AG
,
Dirk Ziegenbein
,
Robert Bosch
Automatic generation of production quality code for ECUs
(
Citations: 9
)
H. Hanselmann
,
U. Kiffmeier
,
M. Meye
Published in 1999.
Formal incremental requirements specification of service-oriented automotive software systems
(
Citations: 4
)
Judith Hartmann
,
Sabine Rittmann
,
Doris Wild
,
Peter Scholz
Conference:
Service Oriented System Engineering, IEEE International Symposium on - SOSE
, pp. 130-133, 2006
An Architecture-Centric Approach towards the Construction of Dependable Automotive Software
(
Citations: 7
)
D. Wild
,
A. Fleischmann
,
J. Hartmann
,
C. Pfaller
,
M. Rappl
,
S. Rittmann
Published in 2006.
Integrationsverfahren fuer Softwaresysteme im Antriebsstrang
(
Citations: 3
)
F. Wolf
Sort by:
Citations
(3)
System-level design and simulation of automation systems
Oliver Niggemann
Conference:
IEEE International Workshop on Factory Communication Systems - WFCS
, 2010
Towards a multi-level modeling language for testbed automation systems
Thomas Aschauer
Conference:
International Conference on Software Engineering - ICSE
, pp. 343-346, 2009
Modeling and verifying dynamic communication structures based on graph transformations
Tobias Eckardt
,
Christian Heinzemann
,
Stefan Henkler
,
Martin Hirsch
,
Claudia Priesterjahn
,
Wilhelm Schäfer
Journal:
Computer Science - Research and Development
, pp. 1-20