406 Hits in 6.7 sec

How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the "Correctness by Construction" Principle

Robert Hilbrich
2012 Advances in Software Engineering  
However, this multifunction approach leads to new technical and nontechnical challenges during the integration.  ...  Software-intensive embedded systems, especially cyber-physical systems, benefit from the additional performance and the small power envelope offered by many-core processors.  ...  Trends and standardization efforts in key domains, that is, avionics and automotive, already address these challenges arising from the functional requirements.  ... 
doi:10.1155/2012/354274 fatcat:tycdbj3uf5dtbliimvrkuf3cwm

Software Engineering for Automotive Systems: A Roadmap

Alexander Pretschner, Manfred Broy, Ingolf H. Kruger, Thomas Stauner
2007 Future of Software Engineering (FOSE '07)  
Alexander has organized several workshops in the field of software engineering for automotive systems. Ingolf H. Krüger holds a Ph.  ...  s degrees in computer science from RWTH Aachen and the University of Kansas as well as a Ph.D. degree in computer science from Technische Universität München.  ...  The third author was partially supported by the UC Discovery Grant and the Industry University Cooperative Research Program, as well as by funds from the California Institute for Telecommunications and  ... 
doi:10.1109/fose.2007.22 dblp:conf/icse/PretschnerBKS07 fatcat:hczbanxcvnb7fdmlzs2fqutnmi

Automotive software engineering

M. Broy
2003 25th International Conference on Software Engineering, 2003. Proceedings.  
in the automotive industry ask for individual solutions and bring various challenges for automotive software engineering.  ...  From a software engineering perspective, the automotive industry is an ideal and fascinating application domain for advanced techniques.  ...  Florian Deissenböck as well as engineers from BMW, Daimler Chrysler, Ford, Honda, Porsche, Audi, Volkswagen, ESG, Validas  ... 
doi:10.1109/icse.2003.1201259 dblp:conf/icse/Broy03 fatcat:rsuizifjongh5nqjfez4btdcx4

The Case for an Open Integrating Operating System, Middleware Specification Development Approach [chapter]

A. Knoll
2021 ELIV 2021  
However, laying the groundwork for these rich possibilities must be done now, and those who miss the train will relinquish the chance to play a defining role in the upcoming age of mobility.  ...  It is therefore unrealistic to believe that the traditional automotive OEMs or suppliers will get a foothold in the development of SDVs based on proprietary systems only.  ...  Acknowledgement The contributions of the ASIMI group and the very lively and fruitful discussions are gratefully acknowledged by the author.  ... 
doi:10.51202/9783181023846-257 fatcat:vbujvoytxngejm37do2zkgmcm4

On the architecture and development life cycle of secure cyber-physical systems

Cong Sun, Jianfeng Ma, Qingsong Yao
2016 Journal of Communications and Information Networks  
Cyber-physical systems are being confronted with an ever-increasing number of security threats from the complicated interactions and fusions between cyberspace and physical space.  ...  Integrating security-related activities into the early phases of the development life cycle is a monolithic and cost-effective solution for the development of security-critical cyber-physical V\VWHPV 7KHVH  ...  In fact, the primary security objectives for avionics are the assurances of availability and integrity.  ... 
doi:10.1007/bf03391576 fatcat:ykws4j5rgrcp7g53rciyqapnoi

A Model–Based Design Methodology with Contracts to Enhance the Development Process of Safety–Critical Systems [chapter]

Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber
2010 Lecture Notes in Computer Science  
The meta-model of Heterogeneous Rich Component (HRC) is extended to a Common System Meta-Model (CSM) that benefits from the semantic foundation of HRC and provides analysis techniques such as compatibility  ...  An example is presented to detail the transition concepts between models. From the example we conclude that our approach proves valuable and supports the development process.  ...  Details for this can be found in Section 5.4. For the CSM we observed that design processes are very diverse for different domains like automotive and avionics.  ... 
doi:10.1007/978-3-642-16256-5_8 fatcat:7jk7vzsxkzeflciu4uol3wbybe

Ethernet – A Survey on its Fields of Application

Jorg Sommer, Sebastian Gunreben, Frank Feller, Martin Kohn, Ahlem Mifdaoui, Detlef Sass, Joachim Scharf
2010 IEEE Communications Surveys and Tutorials  
Apart from LAN installations, Ethernet became also attractive for many other fields of application, ranging from industry to avionics, telecommunication, and multimedia.  ...  However, this new trend raises some problems concerning the services of the protocol and the requirements for each application.  ...  ACKNOWLEDGMENT The authors would like to thank Christian Müller, Rainer Blind, and Martin Neubauer for fruitful discussions. Special thanks also go to the reviewers who helped to improve the paper.  ... 
doi:10.1109/surv.2010.021110.00086 fatcat:yx3kkhsobbdpxajvunyflj2g3q

Towards Quality of Service and Resource Aware Robotic Systems through Model-Driven Software Development [article]

Andreas Steck, Christian Schlegel
2010 arXiv   pre-print
A major challenge is to make the step from code-driven to model-driven systems.  ...  This is essential to replace hand-crafted single-unit systems by systems composed out of components with explicitly stated properties.  ...  The automotive industry is trying to establish the AU-TOSAR standard [4] for software components and modeldriven design of such components.  ... 
arXiv:1009.4877v1 fatcat:xmpo2sxf4fd63myfvbdj67bllm

Contracts for System Design

Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
2018 Foundations and Trends® in Electronic Design Automation  
Another challenge for component-based design of embedded systems is to provide interface specifications that address behaviors, not only type properties of interfaces, and are rich enough to cover all  ...  Of particular interest to the development of embedded controllers and systems are layered design and component-based design (used, e.g., in the Autosar 2 standard in the automotive sector, and the ARINC  ... 
doi:10.1561/1000000053 fatcat:j4bm6mahhjfixiposrawsdczbi

Architecture Challenges for Intelligent Autonomous Machines [chapter]

Sagar Behere, Fredrik Asplund, Andreas Söderberg, Martin Törngren
2015 Advances in Intelligent Systems and Computing  
This has a far reaching impact on the architectures of the embedded systems within the machine. The impact needs to be clearly understood and the main obstacles to autonomy need to be identied.  ...  The obstacles, especially from an industrial perspective, are not just technological but also relate to system aspects like certication, development processes and product safety.  ...  The autonomy workshop from which several of this paper's insights were drawn was conducted under the aegis of the Innovative Center for Embedded Systems (ICES) at KTH, Stockholm.  ... 
doi:10.1007/978-3-319-08338-4_120 fatcat:qq6rrccefbhvpos45oa5qjq6bm

The state of adoption and the challenges of systematic variability management in industry

Thorsten Berger, Jan-Philipp Steghöfer, Tewfik Ziadi, Jacques Robin, Jabier Martinez
2020 Empirical Software Engineering  
We elicit the needs and challenges expressed for these cases, triangulated with results from a literature review.  ...  We believe our results help to understand the current state of adoption and shed light on gaps to address in industrial practice.  ...  Acknowledgments We thank all practitioners who participated in the focus group discussions, as well as we thank the anonymous reviewers for very valuable comments to improve the paper.  ... 
doi:10.1007/s10664-019-09787-6 fatcat:h77ikukjxff2tmprz6d23c37iu

Workloads of the Future

Jan M. Rabaey, Daniel Burke, Ken Lutz, John Wawrzynek
2008 IEEE Design & Test of Computers  
Moving from the core to the fringes of the network, computational prowess will play a less dominant role, and low-power, small form-factor integration of sensors, communication interfaces, and energy sources  ...  Sensor networks and distributed information-capture devices are fundamentally changing the nature of the Internet from download centric to upload rich (see Figure 1 ).  ...  to the dispensing system in a closed loop. 4 These type of services require the combination and integration of many diverse components.  ... 
doi:10.1109/mdt.2008.118 fatcat:4uyaaojnsbajpj3dyzpcbdyx5y

A Fault Tolerance Approach for Enterprise Applications

Vina Ermagan, Ingolf Krüger, Massimiliano Menarini
2008 2008 IEEE International Conference on Services Computing  
We leverage an Enterprise Service Bus (ESB) framework to implement a system based on the fault tolerant Rich Service pattern.  ...  Service Oriented Architectures (SOAs) have emerged as a preferred solution to tackle the complexity of large-scale, complex, distributed, and heterogeneous systems.  ...  Financial support came also from the California Institute for Telecommunications and Information Technology (Calit2).  ... 
doi:10.1109/scc.2008.140 dblp:conf/IEEEscc/ErmaganKM08 fatcat:bndrtmffrbdaffdheuyeaknpqy

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*

Alberto Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone
2012 European Journal of Control  
Contracts are formalizations of the conditions for correctness of element integration (horizontal contracts), for lower level of abstraction to be consistent with the higher ones, and for abstractions  ...  Such systems present the biggest challenges as well as the biggest opportunities in several large industries, including electronics, energy, automotive, defense and aerospace, telecommunications, instrumentation  ...  One challenge, then, for component-based design of embedded systems, is to provide interface specifications that are rich enough to cover all phases of the design cycle.  ... 
doi:10.3166/ejc.18.217-238 fatcat:ctauiyrt3zadbkqowjkuvpntvu

A Review of Operating System Infrastructure for Real-Time Embedded Software

Luis Fernando Friedrich, Mario A. R. Dantas
2015 Journal of Communication and Computer  
This paper reviews some of the approaches associated with the operating systems used to fulfill these needs.  ...  Since their early applications in the 1960s, embedded systems have come down in price and increased dramatically in processing power and functionality.  ...  Examples of how real-time and embedded systems provide us with services are in Automotive or Avionics, Health and Medical Equipment, Consumer Electronics and Intelligent Homes, and Telecommunications.  ... 
doi:10.17265/1548-7709/2015.06.001 fatcat:vzedtzu4u5hjvenhmftqfdbf6i
« Previous Showing results 1 — 15 out of 406 results