Formal verification and validation with DEVS-Suite: OSPF Case study

Zengi̇n, Ahmet; Öztürk, Muhammed Maruf

doi:10.1016/j.simpat.2012.05.013

Cited by 9 publications

(3 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It reveals a 13%, or 2.84MWh reduction in energy due to the application of the cool roof coating. Further, it shows an energy reduction every month, confirming that the cool roof does not introduce a heating penalty [17,30,31] in the cooler winter months associated with subtropical environments. Although this result is consistent with literature that shows that cool roofs may or may not result in a heating penalty, depending on the specific climate, the observed consistent monthly reduction of energy use has not previously been reported.…”

Section: Simulated Impact Of Cool Roof Coating On Energy (Brisbane Climate)mentioning

confidence: 62%

The potential for cool roofs to improve the energy efficiency of single storey warehouse-type retail buildings in Australia: A simulation case study

Seifhashemi

Capra

Milller

et al. 2018

Energy and Buildings

View full text Add to dashboard Cite

Australia's commercial building stock exceeds 134 million m 2 of net lettable area, with retail buildings contributing 35% to this sector's energy use. The energy intensity of retail buildings in hotter climates is higher than the national average, as is the energy intensity of smaller buildings (under 1500m 2 ) that are not considered 'high-end' commercial properties. Little attention has been paid to improving the energy efficiency of these types of buildings through regulation (for new buildings) or through market mechanisms (for retrofitting). As many of these buildings are single storey 'warehouse' type buildings, their predominant heat load comes through the roof, and thus are well suited to benefit from cool roof technology. Despite this, there remains a deficiency in quantifying the benefit of such technology in the context of single-storey retail buildings in Australia. This paper reports on an experimentally validated numerical study aimed at addressing this deficiency. Results show that application of cool roof technology to a warehouse type building in a subtropical environment increases the energy efficiency by shifting space temperature towards the design set point (21-23°C), and thus reducing cooling energy demand. This study also indicates an energy saving every month with the application of cool roof, with the largest saving in hotter months and no heating penalty in cooler months. Application of cool roof technology on warehouse style buildings across Australia buildings indicates energy savings can be achieved in all broad Australian climatic zones, with the greatest energy reduction associated with tropical, subtropical and desert environments.

show abstract

Section: Simulated Impact Of Cool Roof Coating On Energy (Brisbane Climate)mentioning

confidence: 62%

The potential for cool roofs to improve the energy efficiency of single storey warehouse-type retail buildings in Australia: A simulation case study

Seifhashemi

Capra

Milller

et al. 2018

Energy and Buildings

View full text Add to dashboard Cite

show abstract

“…Moreover, an EF specifies a limited set of circumstances under witch a model is to be observed. Nowadays, the EF approach belongs to the state of the art and it is used in many modelling and simulation projects including validation experiments [24] [25] [30] [31]. Following Zeigler [22], the formal specification of the EF is given by the 7-tuple:…”

Section: Experimental Frame Approachmentioning

confidence: 99%

Ontology for Objective Flight Simulator Fidelity Evaluation

Durak¹,

Schmidt²,

Pawletta³

2014

SNE

View full text Add to dashboard Cite

The term simulator fidelity has become enormously important in the scope of simulation research, when assessing training efficiency and the transfer of training to real flight. It is defined as the degree to which a flight simulator matches the characteristics of the real aircraft. Objective simulator fidelity provides an engineering standard, by attacking the fidelity problem with comparison of simulator and the actual flight over some quantitative cues. Research flight simulation encompasses some differences from commercial flight simulation. It requires high flexibility and versatility concerning the cockpit layout and visual and motion systems, as well as flight simulation models. It shoud be easy to modify the flight simulation model or other soft-and hardware components of the simulator. By this, there is a need for an automatic test method, in order to determine the fidelity of the most relevant simulator subsystems, since they are often modified during the life cycle of the simulator. The Institute of Flight Systems (FT) at the German Aerospace Center (DLR) has a reconfigurable flight simulator, the Air Vehicle Simulator (AVES), for research of rotorcraft and fixed-wing aircraft. The study reported in this paper targets a model based testing approach designed to tackle the high flexibility requirement of AVES. This paper presents a metamodel for objective flight simulator evaluation. Metamodeling has been carried out in two levels. An Experimental Frame Ontology (EFO) has been developed adopting experimental frames from Discrete Event System Specification (DEVS), and as an upper ontology to specify a formal structure for simulation test. Then in Objective Fidelity Evaluation Ontology (OFEO) that builds upon EFO, domain specific meta-test definitions are captured.

show abstract

“…Moreover, an EF specifies a limited set of circumstances under which a model is to be observed. Currently, the EF approach belongs to the state of the art and it is used in many modelling and simulation projects including validation experiments [24] [25] [30] [31]. Following Zeigler [22], the formal specification of the EF is given by the 7tuple:…”

Section: 2mentioning

confidence: 99%

Untitled

Durak

Schmidt²,

Pawletta³

2014

SNE

View full text Add to dashboard Cite

The term simulator fidelity has become enormously important in the scope of simulation research, when assessing training efficiency and the transfer of training to real flight. It is defined as the degree to which a flight simulator matches the characteristics of the real aircraft. Objective simulator fidelity provides an engineering standard, by attacking the fidelity problem with comparison of simulator and the actual flight over some quantitative measures. Research flight simulators encompass some differences from commercial flight simulators. They require high flexibility and versatility concerning the cockpit layout and visual and motion systems, as well as flight simulation models. It should be easy to modify the flight simulation model or other software and hardware components of the simulator. To support this, there is a need for a flexible automated test methodology, in order to determine the fidelity of the most relevant simulator subsystems, since they are often modified during the life cycle of the simulator. This methodology not only shall support automated execution but also enable automated generation of the test cases which are subject to change as well as simulator components. The Institute of Flight Systems (FT) at the German Aerospace Center (DLR) has a reconfigurable flight simulator, the Air Vehicle Simulator (AVES), for research of rotorcraft and fixed-wing aircraft. The study reported in this paper adopts a Model Based Testing approach to tackle the high flexibility requirement of AVES. The outcome of the paper is a metamodel for model-based objective flight simulator evaluation. Metamodeling has been carried out in two levels. An Experimental Frame Ontology (EFO) has been developed adopting experimental frames from Discrete Event System Specification (DEVS), and as an upper ontology to specify a formal structure for a simulation test. Then in Objective Fidelity Evaluation Ontology (OFEO) that builds upon EFO, domain specific meta-test definitions are captured.

show abstract

Formal verification and validation with DEVS-Suite: OSPF Case study

Cited by 9 publications

References 15 publications

The potential for cool roofs to improve the energy efficiency of single storey warehouse-type retail buildings in Australia: A simulation case study

The potential for cool roofs to improve the energy efficiency of single storey warehouse-type retail buildings in Australia: A simulation case study

Ontology for Objective Flight Simulator Fidelity Evaluation

Untitled

Contact Info

Product

Resources

About