Automated verification of cardiovascular models with continuous integration tools

24th European Modeling and Simulation Symposium, EMSS 2012

Volumn , Issue , 2012, Pages 316-321

  Bachler, M ^a,b   Hametner, B ^a,b   Mayer, C ^a   Kropf, J ^a   Gira, M ^a   Wassertheurer, S ^a  

^a AIT AUSTRIAN INSTITUTE OF TECHNOLOGY   (Austria)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Cardiovascular model; Continuous integration; Development tools; Model verification

Indexed keywords

AUTOMATED VERIFICATION; CARDIOVASCULAR MODELS; CODE GENERATION; CONTINUOUS TESTING; DEVELOPMENT PROCESS; DEVELOPMENT TEAMS; DEVELOPMENT TOOLS; EXTENSIVE TESTING; INTEGRATION SYSTEMS; INTEGRATION TOOLS; MODEL VERIFICATION; VERSIONING SYSTEMS;

COMPUTER SIMULATION; ERRORS; INTEGRATION; SOFTWARE TESTING;

PHYSIOLOGICAL MODELS;

EID: 84871486310     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Bachler, M., Mayer, C., Hametner, B., and Wassertheurer, S., 2011. Automatic detection of QRS complex, P and T wave in the electrocardiogram. Abstractband / 21. Symposium Simulationstechnik: ASIM 2011, 37. September 7-9, 2011, Winterthur, Switzerland.
2. Berg, A, 2012. Jenkins Continuous Integration Cookbook. Birmingham:Packt Publishing Ltd.
3. Beust, C., and Suleiman, H., 2007. Next generation java™ testing: testng and advanced concepts. Boston:Addison-Wesley Professional.
4. Duvall P. M., Matyas S., Glover A., 2007. Continuous Integration: Improving Software Quality and Reducing Risk. Boston:Addison-Wesley Professional
5. Goldberger, A. L. et al., 2000. PhysioBank, PhysioToolkit, and PhysioNet: Components of a New Research Resource for Complex Physiologic Signals. Circulation 101:e215-e220.
6. Hametner, B., 2011. Arterial Pulse Wave Analysis: Impact of Models for Impedance and Wave Reflection. Doctoral thesis. Vienna University of Technology.
7. Hametner B., Weber T., Mayer C., Kropf J., Wassertheurer S., 2012. Effects of Different Blood Flow Models on the Determination of Arterial Characteristic Impedance. Preprints MATHMOD 2012 Vienna - Abstract Volume.2012:262.
8. Nunan, D., Wassertheurer, S., Lasserson, D., Hametner, B., Fleming, S., Ward, A., and Heneghan, C., 2012. Assessment of central haemomodynamics from a brachial cuff in a community setting. BMC Cardiovascular Disorders 12:48.
9. Wassertheurer S., Mayer C., Breitenecker F., 2008. Modeling arterial and left ventricular coupling for non-invasive measurements. Simulation Modelling Practice and Theory 16:988-997.
10. Wassertheurer S., Kropf J., van der Giet M., Baulmann J., Ammer M., Hametner B., Mayer C., Eber B., Magometschnigg D., 2010. A new oscillometric method for pulse wave analysis: comparison with a common tonometric method. Journal of Human Hypertension 24:498-504.
11. Wassertheurer S., Hametner B., and Weber T., 2011. Model based estimation of aortic pulse wave velocity. Artery Research 5:162.
12. Weber, T., Wassertheurer, S., Rammer, M., Maurer, E., Hametner, B., Mayer, C.C., Kropf, J., and Eber, B., 2011. Validation of a brachial cuff-based method for estimating central systolic blood pressure. Hypertension 58:825-832.
13. Wiest, S., 2010. Continuous Integration mit Hudson/Jenkins: Grundlagen und Praxiswissen für Einsteiger und Umsteiger. Heidelberg:dpunkt Verlag.