Energy-efficient task offloading and resource scheduling for mobile edge computing

H Yu, Q Wang, S Guo - 2018 IEEE international conference on …, 2018‏ - ieeexplore.ieee.org
Mobile edge computing is an emerging computing paradigm to augment computational
capabilities of mobile devices by offloading computation-intensive tasks from resource …

Modeling architectures of cyber-physical systems

E Kusmenko, A Roth, B Rumpe… - … and Applications: 13th …, 2017‏ - Springer
Cyber-physical systems (CPS) in automotive or robotics industry comprise many different
specific features, eg, trajectory planning, lane correction, battery management or engine …

BAM: A requirements validation and verification framework for business process models

S Feja, S Witt, A Speck - 2011 11th International Conference on …, 2011‏ - ieeexplore.ieee.org
Requirements Engineering is an important part of software development processes.
Business process models are widely used for the specification of software. Hence, the …

A lightweight heuristic-based mechanism for collecting committed consistent global states in optimistic simulation

D Cucuzzo, S D'Alessio, F Quaglia… - 11th IEEE International …, 2007‏ - ieeexplore.ieee.org
In this paper we study how to reuse checkpoints taken in an uncorrelated manner during the
forward execution phase in an optimistic simulation system in order to construct global …

Wheeled inverted pendulum with embedded component system: A case study

T Azumi, H Takada, T Ukai… - 2010 13th IEEE …, 2010‏ - ieeexplore.ieee.org
Software component techniques have been widely used for enhancement and the cost
reduction of software development. We herein introduce a component system with a real …

HRMP3+ TECS: Component Framework for Multiprocessor Real-time Operating System with Memory Protection

Y Takaso, H Oyama, H Takada… - 2023 IEEE 26th …, 2023‏ - ieeexplore.ieee.org
The scale and demand for protection functionalities in embedded systems continue to grow
as Internet of things technology develops. Simultaneously, multiprocessor real-time …

TECS components providing functionalities of OSEK specifications for ITRON OS

A Ohno, T Azumi, N Nishio - Journal of Information Processing, 2014‏ - jstage.jst.go.jp
The number of electronic control units (ECUs) has increased to manage complicated vehicle
systems. Many kinds of operating systems that run on ECUs exist: ITRON OS, OSEK OS, and …

Component Framework for Multiprocessor Real-Time Operating Systems

Y Takaso, H Oyama, T Azumi - 2022 IEEE 20th International …, 2022‏ - ieeexplore.ieee.org
Multiprocessor real-time operating systems (RTOSs) are in high demand to deal with the
large complexity of embedded systems. Developers can reduce power consumption, cope …

HR-TECS: Component technology for embedded systems with memory protection

T Ishikawa, T Azumi, H Oyama… - 16th IEEE International …, 2013‏ - ieeexplore.ieee.org
A software partitioning has been used to develop safety-critical systems in recent years. In
addition, software component technologies supporting a software partitioning have been …

Componentizing an operating system feature using a TECS plugin

T Kawada, T Azumi, H Oyama… - 2016 IEEE 4th …, 2016‏ - ieeexplore.ieee.org
This paper presents a componentized TOPPERS/ASP3 (a real-time operating system) time
event notification using a plugin feature for the TOPPERS Embedded Component System …