A desktop 3D printer in safety-critical Java

It is desirable to bring Java technology to safety-critical systems. To this end The Open Group has created the safety-critical Java specification, which will allow Java applications, written according to the specification, to be certifiable in accordance with safetycritical standards. Although there exist several safety-critical Java framework implementations, there is a lack of safety-critical use cases implemented according to the specification. In this paper we present a 3D printer and its safety-critical Java level 1 implementation as a use case. With basis in the implementation we evaluate the specification and its usability for developers of safety-critical systems

Stress testing of web applications in public clouds

V magistrski nalogi se ukvarjamo s problemom testiranja skalabilnosti in stroškov povezanih s povečanim obiskom, s katerim se danes srečuje vse več podjetij. Pri testiranju se osredotočimo na javna oblaka Amazon Web Services in Google Compute Platform. K reševanju problema pristopimo z obremenitvenim testiranjem tako, da razvijemo vzorčno aplikacijo in orodja, s katerimi jo obremenitveno testiramo. Vzorčno aplikacijo in orodja razvijemo po standardu TPC-W, ki ga uporabimo tudi za izvajanje obremenitvenega testa. Po zgledu metrik iz standarda TPC-W definiramo dve novi metriki, s katerima merimo in vrednotimo skalabilnost in stroške, povezane s povečanim obiskom. Meritve izvedemo najprej z ročnim skaliranjem, nato še z vklopljenim avtomatskim skaliranjem. Rezultate meritev ovrednotimo z definiranimi metrikami, izdelamo stroškovni model za omenjena oblaka in ju med seboj primerjamo.In this master thesis we are solving the problem of scalability testing and estimating the costs associated with increased load on web application, with which many companies are facing nowadays. We focus on testing of Amazon Web Services and Google Cloud Platform public clouds. Our approach to solving the problem is with load testing, that\u27s why we develop sample web application and tools to execute the load tests. For developing the web application and tools we used TPC-W standard. We also execute the load test according to TPC-W standard. Based on TPC-W metrics, we develop two new metrics that we use for evaluating load tests. First we perform the measurements with manual scaling and then with automated scaling. After that we evaluate the measurements with newly defined metrics, make the cost model for each cloud and compare them