Sökning: "Jagadish Suryadevara"
Hittade 2 avhandlingar innehållade orden Jagadish Suryadevara.
1. Design and Analysis Support for Abstract Models of Component-based Embedded Systems
Sammanfattning : Developing industrial real-time software systems is challenging due to de- mands on system safety and reliability, through stringent system requirements in terms of functionality, timing, resource consumption etc. Due to this, the system development needs to ensure predictability before the actual imple- mentation, through reliable engineering methods. LÄS MER
2. Towards Early Validation and Verification of System Behaviour with Heterogenous Models in Systems Engineering
Sammanfattning : Systems Engineering (SE) is an established paradigm for developing complex systems across several domains. As systems are becoming more complex, partly due to the increase in software-related considerations, traditional methods of SE are becoming less effective and struggle to handle the development complexity of modern systems, and more recently, the shift towards model-centric development is taking over and becoming the standard practice. LÄS MER