A SysML Profile for Development and Early Validation of TLM 2.0 Models

2011 ◽  
pp. 299-311 ◽  
Author(s):  
Vaibhav Jain ◽  
Anshul Kumar ◽  
Preeti R. Panda
Keyword(s):  
Early Validation

scholarly journals Characteristics, potentials, and limitations of open-source Simulink projects for empirical research

2021 ◽  
Author(s):  
Alexander Boll ◽  
Florian Brokhausen ◽  
Tiago Amorim ◽  
Timo Kehrer ◽  
Andreas Vogelsang
Keyword(s):  
Open Source ◽  
Empirical Research ◽  
Code Generation ◽  
Quality Analysis ◽  
Academic Context ◽  
Early Validation ◽  
Modeling Software ◽  
Development Context ◽  
The One ◽  
Automated Code Generation

AbstractSimulink is an example of a successful application of the paradigm of model-based development into industrial practice. Numerous companies create and maintain Simulink projects for modeling software-intensive embedded systems, aiming at early validation and automated code generation. However, Simulink projects are not as easily available as code-based ones, which profit from large publicly accessible open-source repositories, thus curbing empirical research. In this paper, we investigate a set of 1734 freely available Simulink models from 194 projects and analyze their suitability for empirical research. We analyze the projects considering (1) their development context, (2) their complexity in terms of size and organization within projects, and (3) their evolution over time. Our results show that there are both limitations and potentials for empirical research. On the one hand, some application domains dominate the development context, and there is a large number of models that can be considered toy examples of limited practical relevance. These often stem from an academic context, consist of only a few Simulink blocks, and are no longer (or have never been) under active development or maintenance. On the other hand, we found that a subset of the analyzed models is of considerable size and complexity. There are models comprising several thousands of blocks, some of them highly modularized by hierarchically organized Simulink subsystems. Likewise, some of the models expose an active maintenance span of several years, which indicates that they are used as primary development artifacts throughout a project’s lifecycle. According to a discussion of our results with a domain expert, many models can be considered mature enough for quality analysis purposes, and they expose characteristics that can be considered representative for industry-scale models. Thus, we are confident that a subset of the models is suitable for empirical research. More generally, using a publicly available model corpus or a dedicated subset enables researchers to replicate findings, publish subsequent studies, and use them for validation purposes. We publish our dataset for the sake of replicating our results and fostering future empirical research.

scholarly journals Early validation of PROBA-V GEOV1 LAI, FAPAR and FCOVER products for the continuity of the Copernicus Global Land Service

2015 ◽  
Vol XL-7/W3 ◽  
pp. 93-100 ◽  
Author(s):  
J. Sánchez ◽  
F. Camacho ◽  
R. Lacaze ◽  
B. Smets
Keyword(s):  
Ground Truth ◽  
Scientific Quality ◽  
Temporal Consistency ◽  
Area Index ◽  
Ground Truth Data ◽  
Spatial Consistency ◽  
High Resolution Imagery ◽  
Global Land ◽  
Early Validation ◽  
Using Data

This study investigates the scientific quality of the GEOV1 Leaf Area Index (LAI), Fraction of Absorbed Photosynthetically Active Radiation (FAPAR) and Fraction of Vegetation Cover (FCover) products based on PROBA-V observations. The procedure follows, as much as possible, the guidelines, protocols and metrics defined by the Land Product Validation (LPV) group of the Committee on Earth Observation Satellite (CEOS) for the validation of satellite-derived land products. This study is focused on the consistency of SPOT/VGT and PROBA-V GEOV1 products developed in the framework of the Copernicus Global Land Services, providing an early validation of PROBA-V GEOV1 products using data from November 2013 to May 2014, during the overlap period (November 2013-May 2014). The first natural year of PROBA-V GEOV1 products (2014) was considered for the rest of the quality assessment including comparisons with MODIS C5. Several criteria of performance were evaluated including product completeness, spatial consistency, temporal consistency, intra-annual precision and accuracy. Firstly, and inter-comparison with both spatial and temporal consistency were evaluated with reference satellite products (SPOT/VGT GEOV1 and MODIS C5) are presented over a network of sites (BELMANIP2.1). Secondly, the accuracy of PROBA-V GEOV1 products was evaluated against a number of concomitant agricultural sites is presented. The ground data was collected and up-scaled using high resolution imagery in the context of the FP7 ImagineS project in support of the evolution of Copernicus Land Service. Our results demonstrate that GEOV1 PROBA-V products were found spatially and temporally consistent with similar products (SPOT/VGT, MODISC5), and good agreement with limited ground truth data with an accuracy (RMSE) of 0.52 for LAI, 0.11 for FAPAR and 0.14 for FCover, showing a slight bias for FCover for higher values.

scholarly journals Probability of Encounter Between Ports of Entry (PrEP): Aversion Force-Field “Early Validation” Report

2018 ◽  
Author(s):  
John Joseph Ambrosiano ◽  
Lori Rose Dauelsberg ◽  
George Tompkins
Keyword(s):  
Force Field ◽  
Early Validation

Early validation of the Multi-angle Imaging SpectroRadiometer (MISR) radiometric scale

2002 ◽  
Vol 40 (7) ◽  
pp. 1477-1492 ◽  
Author(s):  
C.J. Bruegge ◽  
N.L. Chrien ◽  
R.R. Ando ◽  
D.J. Diner ◽  
W.A. Abdou ◽  
...  
Keyword(s):  
Early Validation

Design and Deployment of Service Oriented Applications with Non-Functional Requirements

2011 ◽  
pp. 315-339
Author(s):  
László Gönczy ◽  
Dániel Varró
Keyword(s):  
Architectural Design ◽  
Model Transformations ◽  
Functional Requirements ◽  
Application Development ◽  
Tool Chain ◽  
Model Driven ◽  
Enterprise Application ◽  
Functional Aspects ◽  
Early Validation ◽  
Service Oriented

As the use of SOA became a mainstream in enterprise application development, there is a growing need for designing non-functional aspects of service integration at the architectural level, instead of creating only technology specific assets (configuration descriptors). This architectural design supports flexibility and early validation of requirements. This chapter presents a model-driven method supporting the automated deployment of service configurations. This deployment technique is supported by an extensible tool chain where (i) service models are captured by a service-oriented extension of UML enabling to capture non-functional requirements, and (ii) configuration descriptors for the target deployment platform are derived by automated model transformations within the VIATRA2 framework.

scholarly journals Lab-scale evaluation of possible mercury speciation in flue gas and mercury emission from combustion of pulverised solid fuels

2019 ◽  
Vol 201 ◽  
pp. 06001
Author(s):  
Maciej Cholewiński ◽  
Wiesław Rybak
Keyword(s):  
Flue Gas ◽  
Combustion Process ◽  
Flue Gases ◽  
Solid Fuels ◽  
Hard Coal ◽  
Scale Evaluation ◽  
Gaseous Products ◽  
Scale Method ◽  
Early Validation ◽  
Solid Biomass

In this work a new lab-scale method dedicated to the evaluation of both concentration and oxidation level of mercury in flue gases from pulverised fuel fired boiler was proposed. To detect the abovementioned parameters, 2 main steps need to be evaluated. Firstly, a calorimeter bomb is utilised - by a proper implementation of mass balance of mercury within substrates and products, the quantity of oxidised mercury in gaseous products can be evaluated. Then, to simulate solid fuel fired power unit and to calculate mercury concentrations in flue gases, one of the stoichiometric mathematical models of combustion process must be applied. Early validation of the method showed considerable differences between solid fuels in mercury oxidation efficiencies and concentrations in flue gasses. Four examined fuels (lignite, hard coal and 2 types of solid biomass) was investigated. Calculated mercury concentrations in raw flue gas (>700°C) varied between 4 and 75 µg/m3ref. The lowest quantity of oxidised forms ofHg in flue gases were identified in the case of investigated lignite (27% of total Hg), while significantly higher – for selected hard coal (72%) and one type of biomass (with high chlorine concentration; up to 98%).

scholarly journals Early validation of cyber–physical space systems via multi-concerns integration

2020 ◽  
Vol 170 ◽  
pp. 110742
Author(s):  
Nianyu Li ◽  
Christos Tsigkanos ◽  
Zhi Jin ◽  
Zhenjiang Hu ◽  
Carlo Ghezzi
Keyword(s):  
Physical Space ◽  
Space Systems ◽  
Early Validation

scholarly journals Segmental Surface Referencing during Intraoperative Three-dimensional Image-Guided Spine Navigation: An Early Validation with Comparison to Automated Referencing

2016 ◽  
Vol 6 (8) ◽  
pp. 765-770 ◽  
Author(s):  
Amro F. Al-Habib ◽  
Salah Al-Akkad
Keyword(s):  
Image Acquisition ◽  
Three Dimensional ◽  
Pedicle Screws ◽  
Cadaver Study ◽  
Registration Accuracy ◽  
Spine Instrumentation ◽  
Early Validation ◽  
Distant Target ◽  
Fresh Frozen ◽  
Group 2

Study Design Interventional human cadaver study. Objective Intraoperative three-dimensional (3-D)-guided navigation improves spine instrumentation accuracy. However, image acquisition may need to be repeated with segment hypermobility or distant target from reference frame (RF). The current study evaluates the usefulness of internal metal fiducials (IMFs) as surface references in enhancing registration accuracy and avoiding repeating imaging. Methods Six fresh-frozen cadaveric human torsos were utilized. Posterior C1–T2 exposure was done, and three IMFs were inserted per level; intraoperative 3-D images were then acquired. Two registration methods were utilized: autoregistration (AR, group 1) and point registration using IMF (IMFR, group 2). Registration accuracy was checked by identifying IMFs in both groups. Pedicle screws inserted into C2, C4, C5, and C7 based on the two registration methods (three cadavers each) with RF on C7 and then on C2. Results The mean registration error was lower with IMFR compared with AR (0.35 ± 0.5 mm versus 2.02 ± 0.85 mm, p = 0.0001). Overall, 34 pedicle screws were inserted (AR, 18; IMFR, 16). Final screw placement was comparable using both techniques ( p = 0.58). Lateral screws violations were observed in four IMFR screws (1 to 2 mm) as compared with five in AR group (2 to 3 mm). Reregistration after moving RF to C2 was possible using surface screws in IMFR group, thus avoiding new 3-D image acquisition. Conclusion During intraoperative 3-D navigation in spine procedures, surface fiducial registration using IMF provided superior accuracy over automated registration. It allowed repeat registration without repeating radiation during long spine segment instrumentations. More studies are needed to clarify both practical and clinical application of this method.

Sign in / Sign up

Export Citation Format

Share Document