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).
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
|MegaMaRt2 - Megamodelling at Runtime (ECSEL/Vinnova)||active|
|MINEStrA: Model Integration for Early Simulation and Analysis||active|
|PG-CBD-CVer Component Verification||finished|
|Software Center: Model-based Development and Continuous Integration||active|
|Developing Information Models to support Systems Engineering||available|
|An Evaluation of Model-based Testing in Industrial Practice: From System Modelling to Test Generation||in progress|
|Consistent integration of system and software models at different levels of abstraction||in progress|
|Enhancing development process of product and service: A case study at heavy equipment industry||in progress|
|Linking digital system to the integrated product and service development||in progress|