Using Measures for Verifying and Improving Requirement Models in MDD Processes

Author(s):  
Giovanni Giachetti ◽  
Beatriz Marin ◽  
Xavier Franch
Keyword(s):  
Author(s):  
Juan Sánchez Díaz ◽  
Oscar Pastor López ◽  
Hugo Estrada Esquivel ◽  
Alicia Martínez Rebollar ◽  
Jorge Belenguer Fáguas

Safe Comp 95 ◽  
1995 ◽  
pp. 75-89
Author(s):  
Ken Chan ◽  
Clive Fencott ◽  
Barry Hebbron

1992 ◽  
Vol 6 (1) ◽  
pp. 69-77 ◽  
Author(s):  
B. Panigrahi ◽  
S. D. Sharma ◽  
B. P. Behera

10.29007/r74f ◽  
2020 ◽  
Author(s):  
Johan Lidén Eddeland ◽  
Alexandre Donzé ◽  
Sajed Miremadi ◽  
Knut Åkesson

In this benchmark proposal, we present a set of large specifications stated in Signal Temporal Logic (STL) intended for use in falsification of Cyber-Physical Systems. The main purpose of the benchmark is for tools that monitor STL specifications to be able to test their performance on complex specifications that have structure similar to industrial specifications. The benchmark itself is a Git repository which will therefore be updated over time, and new specifications can be added. At the time of submission, the repository contains a total of seven Simulink requirement models, resulting in 17 generated STL specifications.


2011 ◽  
Vol 39 (3) ◽  
pp. 11-11
Author(s):  
Daniel Dominguez Gouvêa ◽  
Cyro de A. Assis D. Muniz ◽  
Gilson A. Pinto ◽  
Alberto Avritzer ◽  
Rosa Maria Meri Leäo ◽  
...  

2006 ◽  
Vol 86 (5) ◽  
pp. 897-910 ◽  
Author(s):  
Annie Pellerin ◽  
Léon -Étienne Parent ◽  
Catherine Tremblay ◽  
Josée Fortin ◽  
Gilles Tremblay ◽  
...  

Soil phosphorus (P), which is potentially a risk for environmental contamination, is currently interpreted using soil P saturation in North America. Our objective was to assess the ratio of P to aluminum (Al) in the Mehlich-III (M-III) soil test to build P requirement models for corn and soybean. We analyzed 129 corn and 19 soybean P fertilizer trials. For corn, the (P/Al)M-III ratio improved soil fertility classification compared with PM-III alone. The critical PM-III value as determined by the Cate-Nelson procedure was found to be 31.5 mg PM-III kg-1, close to published values. The critical (P/Al)M-III ratios of 0.025 for > 300 g clay kg-1 soils and 0.040 for ≤ 300 g clay kg-1 soils differed significantly between the two soil groups. For (P/Al)M-III ratios above 0.214, there was no positive response to added P for all soils regardless of texture. Using published critical environmental (P/Al)M-III ratios of 0.076 for > 300 g clay kg-1soils and 0.131 for ≤ 300 g clay kg-1 soils as benchmarks values, agri-environmental P requirement models were built using conditional expectations of 50 to 80% of computed optimum P values within a soil class. A validation study supported the low critical (P/Al)M-III ratios and the 50% conditional expectation model except for a high carbon soil which was outside the application range of the models. However, banded P decreased corn yield at four validation sites although the model predicted positive response to P. Soybean did not respond to P except at extremely low fertility levels ((P/Al)M-III ≤ 0.02) and behaved as a P-mining crop even in low-P soils. Corn-soybean rotations can reduce soil P to low (P/Al)M-III ratios with minimal agronomic risk. Key words: Soil phosphorus saturation, Mehlich-III soil extraction method, soil fertility classification, soil texture, fertilizer P requirement model, corn, soybean


2008 ◽  
Vol 4 (3) ◽  
pp. 241-248 ◽  
Author(s):  
Dan Li ◽  
Xiaoshan Li ◽  
Jicong Liu ◽  
Zhiming Liu
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document