| 1. |
- Aronsson Karlsson, Viktor, et al.
(författare)
-
Automation of the creation and execution of system level hardware-in-loop tests through model-based testing
- 2022
-
Ingår i: A-TEST - Proc. Int. Workshop Autom. Test Case Des., Select., Eval., co-located ESEC/FSE. - New York, NY, USA : Association for Computing Machinery, Inc. - 9781450394529 ; , s. 9-16
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we apply model-based testing (MBT) to automate the creation of hardware-in-loop (HIL) test cases. In order to select MBT tools, different tools' properties were compared to each other through a literature study, with the result of selecting GraphWalker and MoMuT tools to be used in an industrial case study. The results show that the generated test cases perform similarly to their manual counterparts regarding how the test cases achieved full requirements coverage. When comparing the effort needed for applying the methods, a comparable effort is required for creating the first iteration, while with every subsequent update, MBT will require less effort compared to the manual process. Both methods achieve 100% requirements coverage, and since manual tests are created and executed by humans, some requirements are favoured over others due to company demands, while MBT tests are generated randomly. In addition, a comparison between the used tools showcased the differences in the models' design and their test case generation. The comparison showed that GraphWalker has a more straightforward design method and is better suited for smaller systems, while MoMuT can handle more complex systems but has a more involved design method.
|
|
| 2. |
- Chiu, D T, et al.
(författare)
-
Chemical transformations in individual ultrasmall biomimetic containers
- 1999
-
Ingår i: Science. - Stanford Univ, Dept Chem, Stanford, CA 94305 USA. Univ Gothenburg, Dept Chem, S-41296 Gothenburg, Sweden. Pomona Coll, Dept Chem, Claremont, CA 91711 USA. : AMER ASSOC ADVANCEMENT SCIENCE. - 0036-8075 .- 1095-9203. ; 283:5409, s. 1892-1895
-
Tidskriftsartikel (refereegranskat)abstract
- Individual phospholipid vesicles, 1 to 5 micrometers in diameter, containing a single reagent or a complete reaction system, were immobilized with an infrared laser optical trap or by adhesion to modified borosilicate glass surfaces. Chemical transformations were initiated either by electroporation or by electrofusion, in each case through application of a short (10-microsecond), intense (20 to 50 kilovolts per centimeter) electric pulse delivered across ultramicroelectrodes. Product formation was monitored by far-field laser fluorescence microscopy. The ultrasmall characteristic of this reaction volume led to rapid diffusional mixing that permits the study of fast chemical kinetics. This technique is also well suited for the study of reaction dynamics of biological molecules within lipid-enclosed nanoenvironments that mimic cell membranes.
|
|
| 3. |
|
|
| 4. |
- Cornelissen, Johannes H C, et al.
(författare)
-
Global negative vegetation feedback to climate warming responses of leaf litter decomposition rates in cold biomes
- 2007
-
Ingår i: Ecology Letters. - : Wiley. - 1461-023X .- 1461-0248. ; 10:7, s. 619-627
-
Tidskriftsartikel (refereegranskat)abstract
- Whether climate change will turn cold biomes from large long-term carbon sinks into sources is hotly debated because of the great potential for ecosystem-mediated feedbacks to global climate. Critical are the direction, magnitude and generality of climate responses of plant litter decomposition. Here, we present the first quantitative analysis of the major climate-change-related drivers of litter decomposition rates in cold northern biomes worldwide.Leaf litters collected from the predominant species in 33 global change manipulation experiments in circum-arctic-alpine ecosystems were incubated simultaneously in two contrasting arctic life zones. We demonstrate that longer-term, large-scale changes to leaf litter decomposition will be driven primarily by both direct warming effects and concomitant shifts in plant growth form composition, with a much smaller role for changes in litter quality within species. Specifically, the ongoing warming-induced expansion of shrubs with recalcitrant leaf litter across cold biomes would constitute a negative feedback to global warming. Depending on the strength of other (previously reported) positive feedbacks of shrub expansion on soil carbon turnover, this may partly counteract direct warming enhancement of litter decomposition.
|
|
| 5. |
- Karlsson, P. G., et al.
(författare)
-
Initial stages of ZrO2 chemical vapor deposition on Si(100)-(2x1) from zirconium tetra-tert-butoxide
- 2008
-
Ingår i: Surface Science. - : Elsevier BV. - 0039-6028 .- 1879-2758. ; 602:10, s. 1803-1809
-
Tidskriftsartikel (refereegranskat)abstract
- The initial stages of chemical vapor deposition of ZrO2 from zirconium tetra-tert-butoxide (ZTB) on Si(100)-(2 x 1) have been studied by scanning tunnelling microscopy (STM) and synchrotron radiation excited photoelectron spectroscopy (PES). The STM images and core level (PES) spectra indicate that the predominant surface modifications induced by ZTB are due to silicon carbonization and formation of zirconium dioxide. The carbonization reaction leads to formation of subsurface carbon and two types of reconstructions are discussed: dimer vacancies and dimer vacancies in conjunction with a rotated surface Si-dimer. Indications for the formation of small amounts of zirconium silicide are also found. No evidence for silicon oxidation can be observed with PES, in contrast to the interface properties previously found after larger exposures to ZTB.
|
|
| 6. |
- Tomasic, Ivan, et al.
(författare)
-
Enabling IoT based monitoring of patients' environmental parameters : Experiences from using OpenMote with OpenWSN and Contiki-NG
- 2018
-
Ingår i: 2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2018 - Proceedings. - 9789532330977 ; , s. 330-334
-
Konferensbidrag (refereegranskat)abstract
- Remote health monitoring can be leveraged by the IoT paradigm. We tested OpenMotes, state-of-the-art IoT devices featuring IEEE 802.15.4 protocol, with Contiki-NG and OpenWSN, two of the most popular IoT operating systems, for the purpose of obtaining data from the OpenMote's sensors. The procedure is not strait forward and requires additional programing of the operating systems. All the steps necessary to make the OpenMote work with Contiki-NG are presented in detail. We also describe how to use Copper Firefox add-on to access the sensors data over CoAP, as well as how to design a functional web interface in Node-RED for the sensors data.
|
|
