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).
A System Modeling Approach to Enhance Functional and Software Development (Jun 2018) Saurabh Tiwari, Emina Smajlovic , Amina Krekic , Jagadish Suryadevara First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, colocated with STAF (MDE@DeRun)
From Modeling to Test Case Generation in the Industrial Embedded System Domain (Jun 2018) Aliya Hussain , Saurabh Tiwari, Jagadish Suryadevara, Eduard Paul Enoiu First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun)
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)
|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|