Keiju Anada

Papers

Total Citations

H-Index

About

Keiju Anada is a researcher focused on the intersection of model-based systems engineering and safe robotics, with particular expertise in architecture analysis and design language (AADL). His work addresses the critical challenge of developing dependable, safety-critical robotic systems through rigorous modelling and structured design processes. Anada’s most influential contribution, “Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL” (2014, 11 citations), demonstrates how formal architectural models can be used to verify the reliability and safety of complex robotic platforms. In his earlier work, “Experiences with model-centred design methods and tools in safe robotics” (2013, 5 citations), he explored the practical application of model-centred approaches—comparing traditional development models like Waterfall and Agile—to manage the complexity inherent in safety-critical system development. Anada’s research provides valuable methodologies for engineers seeking to integrate formal verification into robotic design, helping bridge the gap between theoretical modelling and real-world implementation. His contributions are particularly relevant for autonomous systems where failure is not an option, offering a structured pathway toward certifiably safe robotic architectures.