معرفی
Professor Andrew John Wellings is a computer scientist specializing in real-time systems, embedded computing, and Java technologies. Formerly affiliated with the University of York's Department of Computer Science, his research develops formal methods and automated tools for high-integrity real-time systems.
His scholarly work focuses on model-driven approaches to real-time system development, schedulability analysis for multiprocessor environments, and formal verification of high-integrity Java applications. Wellings has led significant research projects including JUNIPER (JAVA Platform for High Performance Real-Time Large Scale Data Management) and HIJAC (High-Integrity Java applications using circus), funded by the European Commission and EPSRC respectively.
Publications demonstrate consistent contributions to real-time Java formalization, multiprocessor scheduling theory, and model-driven development automation. Recent articles advance overhead-aware schedulability analysis and automated transformation techniques for real-time Java systems.
Professional Activities: Served as editor for Software: Practice and Experience journal, chaired the 16th International Real-Time Ada Workshop and 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Computing. Recognized with Moon Kim Best Student Paper award in 2010.
