Associate Professor · Graduate School of Informatics, Nagoya University
Research on dependable and secure systems
My research looks at how embedded systems, mobility platforms, IoT, and large-scale connected services — services made up of many smaller systems working together — can be designed, tested, and operated to remain safe and dependable throughout their lives.
This site collects the research themes, publications, software, and academic activities behind that work.
Recent papers cover mixed-criticality service orchestration for software-defined vehicles (SDVs — cars whose features are updated through software), privacy-preserving IoT access control using blockchain, and resilience engineering for Mobility-as-a-Service (MaaS — services that combine multiple means of transportation).
Recent invited talks and articles focus on automotive dependability, risk management, embedded security, and governance for large socio-technical services.
Research does not stop at design-time verification — the same systems must be explained, updated, and kept dependable long after deployment.
Three Pillars
I work on the software platforms and real-time scheduling techniques that keep complex embedded systems — in cars, aircraft, and industrial equipment — running reliably, even when many programs of different importance share the same hardware (so-called mixed-criticality systems).
I work on controlling access to IoT devices, on detecting software vulnerabilities automatically through fuzzing (feeding random or unusual inputs to uncover bugs), and on using blockchain to manage connected devices and services safely throughout their lifetimes.
I study Systems of Systems — arrangements in which multiple independent systems cooperate to achieve an emergent purpose — and explore how rules, incentives, and digital twins (virtual replicas of real systems) can guide the whole toward desirable behavior.
For Students
Students build a full-stack view of embedded systems through hands-on implementation and evaluation — spanning low-level software, real-time operating systems (RTOS) and general-purpose OS design, middleware, and application behavior.
We combine IoT with Web3 (decentralized systems built on blockchain and smart contracts), game theory, contract theory, and control theory, giving students room to shape new system architectures and service models.
Through collaborations with industry and other research groups, students gain experience in framing problems, engaging with stakeholders, and driving research forward.
Selected Publications
Teaching
Career Snapshot
Contact
Room 491, 4F IB South Building, Nagoya University
C3-1(631), Furo-cho, Chikusa-ku, Nagoya, Aichi 464-8603 Japan
+81-52-789-4597