Sökning: "Cristina Seceleanu"
Visar resultat 1 - 5 av 19 avhandlingar innehållade orden Cristina Seceleanu.
1. Methods and Tool Support for Analyzing Architectural Models of Embedded Systems
Sammanfattning : Embedded systems are ubiquitous in the modern world. They are microcomputers most often included incomplete devices consisting of software and hardware. Embedded systems range from small devices to large systems monitoring and controlling complex processes. LÄS MER
2. Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems
Sammanfattning : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain logical data consistency and temporal correctness of the computations, one solution is to model the latter as transactions and manage them using a Real-Time Database Management System (RTDBMS). LÄS MER
3. Systematic Design of Data Management for Real-Time Data-Intensive Applications
Sammanfattning : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain the consistency of data, such computations must be both logically correct (producing correct and consistent results) and temporally correct (completing before specified deadlines). LÄS MER
4. Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations
Sammanfattning : During the past decade service-orientation has become a popular design paradigm, offering an approach in which services are the functional building blocks. Services are self-contained units of composition, built to be invoked, composed, and destroyed on (user) demand. LÄS MER
5. Automated Approaches for Formal Verification of Embedded Systems Artifacts
Sammanfattning : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. LÄS MER