A SysML-based approach to requirements analysis and specification of real-time systems.

Model-based development is particularly promising in the area of real-time and embedded systems, since it potentially increases the level of automatism and decreases the possible defects, improving the e_ciency of the process and the quality of the product. Model based approaches are e_ectively supported by notations such as SysML, a modeling language for Systems Engineering that has been recently adopted by the Object Management Group (OMG). SysML is of industrial origin, and it is likely that it will be widely adopted in industry for the development of real-time and embedded systems. Potential obstacles to the adoption of the language on a large scale are the lack of a methodology that drives the modeling activities and the full support for the de_nition of temporal aspects. The main goal of this PhD work concerns the de_nition of model-based methodological guidelines to the usage of SysML for the analysis and specification of requirements and the early modeling of real-time systems.