Verification and Validation-Use Case Models.pdf

2014

ISSN: 2249-2593 http://www.ijcotjournal.org Page 1 Abstract-This paper identifies the need for an integrated software solution to manage configuration requirements of currently popular software applications and tool chains used for the validation and verification tasks associated with embedded system design. The intended results of such an approach include: increased design development speed, decreased time to market and additional improvements in quality assurance. A theoretical unifying software automation process is proposed to link specifications and requirements documents not only through the design and test specification phases but directly into the testing platform itself including results and reporting. The result of this approach can be shown to streamline the design, verification and validation testing and reporting processes for an embedded software system. The observations and conclusions presented are based on an elementary user understanding of several software develop...

2008

Abstract This paper describes a scenario-based methodology for system-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existing model-driven design methodology for embedded systems based on the SystemC UML profile. It allows the designer to functionally validate system components from SystemC UML designs early at high levels of abstraction and without requiring strong skills and expertise on formal methods.

2009

Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often delayed until late in the development process during a cycle of testing and debugging. This paper introduces a more rigorous approach to design using Behavior Engineering, which has previously been applied primarily to requirements analysis and specification development. To support design with Behavior Engineering we introduce the embedded Behavior Runtime Environment, a virtual machine created to execute a Behavior Engineering design on an embedded system. The result is a model-driven development approach that can create embedded system software that satisfies its requirements, as a result of applying the development process.

AEI Insights, 2021

The significant damage of COVID-19 on the world economy forces us to reconsider a deep restructuration domestically and internationally in the next few years. This paper suggests a Post-COVID-19 reconstruction model is called “The National Domestic Economic AutoSustainability Model (NDEAS-Model).” The NDEAS-Model proposes four economic platforms: (i) the domestic education and technical training standardization platform (P1); (ii) the domestic productive infrastructure and transportation platform (P2); (iii) the selective strategic trade, investment, and tourism protection platform (P3); (iv) the environmental and natural resources management platform (P4). The main objective of NDEAS-Model is to avoid imported massive pandemic diseases, non-sustainable and weak food security platforms, and job diversion, respectively.

The catastrophe in Gaza has led me to write this text in an attempt to make sense of the agonizing similarities between the current sights from the Strip and those of 1948. Seven decades have passed since the Nakba and the sands underlying the Gaza Strip’s camps and cities are exposed again: sand craters are left by Israeli bombings, in the sands, the tens of thousands of victims of these bombings are buried in mass graves, and sands are where millions of displaced Palestinians perch tents and makeshift shelters. This brief piece suggests that the significance of coastal dunes in the Palestinian refugee experience is not a coincidence. Historically, coastal sands were largely overlooked by governing authorities until the modern era. However, in the twentieth century, they became the forefront of urban expansion in the eastern Mediterranean and globally, serving as the foundation for new urban neighborhoods, infrastructure, shantytowns for labor migrants, and refugee camps. Additionally, the modern depiction of sand as a terrain of uncertain property rights and limited cultivation opportunities contributed to its transformation into a modern settlement frontier and a place of refuge. As refugees were often without property, they were settled in areas where ownership and rights were considered ambiguous. This exploration of the connection between refugee experiences and coastal sands is part of my ongoing research on the development of what I refer to as the "Arab Coastal Plain." This contiguous stretch of land, spanning from the Suez Canal in the south to Alexandretta in the north, experienced rapid development and urbanization in the early twentieth century. Despite differing national and political contexts, this coastal plain as a whole underwent shared historical changes in which sandy areas played a significant role.