Jagadish Suryadevara, Consulting Senior Lecturer (not working at IDT anymore)

I'm currently working as "System Architect" within Tehnology Function at Volvo Construction Equipment AB, Sweden. My work involves developing functional architecture for software platform supporting different product lines such as Loaders, Haulers, Excavators etc. I'm also involved with functional architectures for future products (e.g. autonomous) as well as System of Systems (e.g. Site management system, Complete business solutions). I'm also part of the core team leading Model-based development initiatives such as MBPLE, MBSE, as well as MBD.

I've received B.Sc and M.Sc (Applied Mathematics) from Andhra University(India), and M.Tech (Computer Science) from Jawaharlal Nehru Technological University(India). I've done Ph.D in the formal modelling of embedded systems from Mälardalen University (Sweden).


My general research interests include Industrial Systems Engineerieng, System of Systems, Model-based development, ontologies, information models as well as tool interoperability (OSLC). 

[Show all publications]

Latest publications:

Analyzing a wind turbine system: From simulation to formal verification (Oct 2016)
Cristina Seceleanu, Morgan Johansson , Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson
Science of Computer Programming, Elsevier (SCICO)

Wind Turbine System : An Industrial Case Study in Formal Modeling and Verification (Oct 2013)
Jagadish Suryadevara, Gaetana Sapienza, Cristina Seceleanu, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson
Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013)

Verifying MARTE/CCSL Mode Behaviors using UPPAAL (Sep 2013)
Jagadish Suryadevara, Cristina Seceleanu, Frederic Mallet , Paul Pettersson
11th International Conference on Software Engineering and Formal Methods

Validating EAST-ADL Timing Constraints using UPPAAL (Sep 2013)
Jagadish Suryadevara
39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (Jul 2013)
Arda Goknil , Jagadish Suryadevara, Marie-Agnes Peraldi-Frati , Frederic Mallet
7th European Conference on Software Architecture (ECSA)

Timed Automata Modeling of CCSL Constraints (Nov 2012)
Jagadish Suryadevara, Ling Yin
First International Workshop on Formal Techniques for Safety-Critical Systems