Time weaver: a software-through-models framework for embedded real-time systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
Computer
DAG3: a tool for design and analysis of applications for multicore architectures
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
The requirements engineering plays an important role during the lifespan of a complex system development project. The writing of system requirements in system developments process is through the natural language frequently. Natural language usually contains uncertainty. Additionally, requirements engineer lacks field knowledge and often shows shortages of relevant experiences. All these cause equivocal and wrong requirements analysis of the system requirements specification. In order to avoid these, the appropriate requirements modeling tools and can offer engineer's appropriate mechanism to understand what the customer want, analyze the requirements, assess feasibility, consult the rational solution, clearly point out the solution, confirm the specification, and reduce the possibility that the specific project may fail. We have presented a requirements modeling tool based on SysML. This research copes with model driven approach and requirements definition template for precise, consistent requirements specifications definition. MDA offers a procedure of analyzing the requirements to prevent a specific project from procrastinating. It assists users to confirm and improve the exactness of the requirements contents via the "Profile" of the requirements. The OCL leads users to write the template of the requirements, and brings in the characteristics of multi-core embedded system in the requirements documents through "profile".