FITNESS & JANUARY 2021 MARTIAL ARTS CLASSES...FITNESS & MARTIAL ARTS CLASSES LUNCH EXPRESS BOOTCAMP...

15
205 IEEE TRANSACTIONS ON RELIABILITY, VOL. 42, NO. 2,1993 JUNE Reliability Growth of Fault-Tolerant Software Karama Kanoun Mohamed Kaaniche Christian B h n e s Jean-Claude Laprie Jean Arlat LAAS-CNRS , Toulouse LAAS-CNRS , Toulouse LAAS-CNRS & INRIA, LAAS-CNRS, Toulouse LAAS-CNRS , Toulouse Toulouse Key Words - Fault-tolerant software, Reliability growth, Reliability modeling, Reliability evaluation, Corrective maintenance. Reader Ais% - General purpose: Investigate fault-tolerant software techniques Special math needed for explanations: Probability theory and Special math need to use results: None Results useful to: Designers of fault-tolerant software Markov chains Summary & Conclusions - Fault-tolerant software approaches have given rise to numerous reliability models. However, all these models assume stable reliability, ie, they do not consider reliabili- ty growth resulting from progressive removal of design-induced faults. This paper - addresses an issue which has not hitherto been treated; is aimed at modeling and estimatingthe influence of reliability growth of the fault-tolerant software componentson the reliabili- ty of the software system in operation. Two fault-tolerant software techniques are investigated: recovery block and N-version programming. For each, the stable reliability model is transformed into a model that considers reliabili- ty growth via the transformation approach based on the hyper- exponentialmodel. Analytic and numeric processing of the trans- formed models identify the influence of fault removal on the reliability of the fault-tolerant software approaches. The modeling approach is based on the transformation of a Markov chain of the fault-tolerant software system in stable reliability into another, modified Markov chain which enables reliability growth to be considered. This approach has allowed reliability growth relative to the classes of faults (independent, related) affecting fault-tolerant software to be identifed and evaluated. The evaluations apply to systems of short successive mission durations with respect to the system life-time. Using generalized stochastic Petri nets to model the fault-tolerant soft- ware systems allows for an automatic application of the transfor- mation technique. Analytic expressions are derived only to analyze explicitly the impact of fault-removal of each class. In practice, reliability measures can be directly evaluated by available tools for numerical processing of the Markov chains. Even though this work is a fist attempt, the results are important since they show the influence of reliability growth on the reliability of fault-tolerant software systems. These results: a) confirm, from the reliability growth perspective, the impor- tance of the faults whose occurrence can lead to common-mode failures, eg, decider faults and re2ded faults and b) enable the impact of these faults to be quantified. 1. INTRODUCTION Numerous papers have been devoted to the modeling and evaluation of fault-tolerant software reliability. They may be put into two major classes: Modeling software diversity: Based on the detailed analysis of the dependencies in diversified software [4,9,23,28]. Modeling fault-tolerant software system behavior: Aimed primarily to evaluate some dependability measures for specific types of software systems [1,8,11,12,16,29]. All the published work assumes stable reliability, ie, it does not consider the impact, on software reliability, of reliability growth due to corrective maintenance. Nevertheless, reliabili- ty growth is real as evidenced by the failure data collected on real software systems during their life cycle, including operational life [14,21]. The modifications due to the progressive removal of residual design faults from the software components cause their reliability to grow, which in turn causes the reliability of the fault-tolerant software to grow. The reliability of fault- tolerant software can grow due to the removal of faults in the software components without having failed in operation. For instance, activation of a fault which is tolerated does not lead to system failure and reliability of the software system grows due to the removal of this type of fault. The extent to which software reliability is improved via corrective maintenance is related to the nature of the activated fault and the consequence of the failure: Some faults are more difficult to identify than others; thus they may be, a) removed long after their activation, leading to slow reliability growth, or b) not removed at all. Faults leading to critical failures are likely to be removed very quickly, whereas those leading to non-critical failures might be removed later (eg, with the introduction of a new software version). For multi-component software, reliability growth can be different for the various components, ie, some components might be more failure-prone and undergo several corrective actions resulting in important reliability growth, while other components might be less activated or more reliable and thus exhibit less reliability growth. As a result, software reliability is related to the: 0018-9529/93/$3.00 01993 IEEE

Transcript of FITNESS & JANUARY 2021 MARTIAL ARTS CLASSES...FITNESS & MARTIAL ARTS CLASSES LUNCH EXPRESS BOOTCAMP...

Page 1: FITNESS & JANUARY 2021 MARTIAL ARTS CLASSES...FITNESS & MARTIAL ARTS CLASSES LUNCH EXPRESS BOOTCAMP This 30 minute express class focuses on high-intensity interval training. It is

FITNESS & MARTIAL ARTS CLASSES

JANUARY 2021

SPECIALTY FITNESS AT BECK RECREATION CENTERTAI CHI Ages 16 & olderImprove range of motion and balance with circular movement patterns repeated with focus on grace, balance and controlled breathing. 34882 Jan. 5-26 Tues., 10:30 – 11:30 a.m.34883 Jan. 7-28Thu., 10:30 -11:30 a.m.$16 ($13 Resident)

SPIN Ages 16 & olderIndoor cycling provides a fun and challenging cardiovascular workout for all ages and fitness levels. Experience a full ride of hills, sprints, and endurance intervals with energizing music an motivational instructions. 34887 Jan. 4-25 (No class Jan. 18)Mon., 5:30 – 6:30 p.m.$11 ($8 Resident)34884 Jan. 6-27Wed., 5:30-6:30 p.m.$13 ($10 Resident)

YOGA FLOW Age 16 & olderThis yoga class incorporates some arm balances, deeper backbends, standing and seated postures, with a strong focus on the power of breath awareness. Props and modifications may be offered for proper alignment and ease in the postures. This class is geared toward the seasoned beginner.34885 Jan. 5-26Tues., 9:00-10:00 a.m.Jan. 6-2734886 Weds., 9:00-10:00 a.m.$31 ($25 Resident)

BECK RECREATION DROP-IN CLASSES Included with membership. Must reserve in advance.

SILVERSNEAKERS CIRCUITAge 50 & olderMoving to the music through a variety of exercises designed to increase muscular strength, range of movement and activities for daily living. Weights, resistance bands, and a SilverSneakers ball, and chair are used. Weds., 9:30-10:30 am

SILVERSNEAKERS CARDIO FITAge 50 & olderGet up and go with a safe and heart-healthy aerobic class. This workout consists of low-impact choreographed movements to tone and sculpt your body and improve strength, balance, and core.Fri., 9:30-10:30 a.m.

BUTTS AND GUTSAge 16 & olderThis class is filled with multiple variations of squats, lunges, planks, crunches, leg-lifts and other Pilates-style stringing moves intended to tone your glutes and abs.Thu., 5:30-6:30 p.m.

SPECIALTY FITNESS AT CENTRAL RECREATION CENTERHATHA YOGAEnjoy this extended yoga format that leaves you relaxed, flexible, strengthened & energized. Stress reduction & breathing techniques are used for total wellness. Jan. 4-25 (No class Jan. 18) 34875 Mon., 9:00 a.m.-10:15 a.m. $18 ($15 Resident)34877 Jan. 6-27 Wed., 9:00 a.m.-10:15 a.m. $25 ($20 Resident)

BARBELL BLASTFocusing on barbells & free weights this class will challenge

your strength while elevating your cardiovascular fitness. This class will hit upper body, lower body, & core. 34874 Jan. 5-26 Tues., 6:00 p.m.-7:00 p.m. $13 ($10 Resident)

BOOTCAMP Full body workout with a mix of exercises. This motivational class will challenge you to increase intensity & level of fitness. You will tighten, tone, build strength, & endurance. 34876 Jan. 7-28

Thurs., 6:00 p.m.-7:00 p.m. $13 ($10 Resident)

YOGA FLOWThis yoga class incorporates some arm balances, deeper backbends, standing and seated postures, with a strong focus on the power of breath awareness. Props and modifications may be offered for proper alignment and ease in the postures. This class is geared toward the seasoned beginner.34875 Jan. 2-30Sat., 8:15 a.m.-9:15 a.m. $31 ($25 Resident)

Page 2: FITNESS & JANUARY 2021 MARTIAL ARTS CLASSES...FITNESS & MARTIAL ARTS CLASSES LUNCH EXPRESS BOOTCAMP This 30 minute express class focuses on high-intensity interval training. It is

FITNESS & MARTIAL ARTS CLASSES

LUNCH EXPRESS BOOTCAMP This 30 minute express class focuses on high-intensity interval training. It is a total body workout meant to get that heart rate up & muscles firing.  • Mon., 12:00 p.m.-12:45 p.m. • Wed., 12:00 p.m.-12:45 p.m.

SILVER SNEAKERS YOGA Get ready to move through a complete series of seated & standing yoga poses. Chair support is offered so you can perform a variety of seated & standing

postures designed to increase flexibility, balance and range of movement. • Tues., 8:00 a.m.-8:45 a.m. • Thurs., 8:00 a.m.-8:45 a.m.

SILVER SNEAKERS CLASSIC This class focuses on strengthening muscles & increasing range of movement for daily life activities. Participants can use h&-held weights, elastic tubing with handles & a SilverSneakers ball. Often a chair is used for seated exercises or standing support.

• Tues., 9:00 a.m.-10:00 a.m.  • Thurs., 9:00 a.m.-10:00 a.m. 

CARDIO KICK High-energy kickboxing-inspired workout. Dynamic & explosive class that incorporates kickboxing techniques with an intense cardio workout. Increase your aerobic capacity & improve your strength, agility & quickness while burning those calories!• Mon., 6:00 p.m.-7:00 p.m.

CENTRAL RECREATION DROP-IN CLASSES

SPECIALTY FITNESS AT MOORHEAD RECREATION CENTERBARBELL BLASTAges 16 & olderFocusing on barbells and free weights this class will challenge your strength while elevating your cardiovascular fitness. This class will hit upper body, lower body, and core. 34861 Jan. 4-25 (No class Jan. 18)Mon., 6:00-7:00 PM$11 ($8 Resident)

BODYWEIGHT BURNAges 16 & olderIf you want a killer, no-equipment, total body workout this class is for you! You will work your entire body with cardio, lower body, upper body and core exercises. Enjoy the burn!34863 Jan. 6-27Weds., 6:00-7:00 PM$13 ($10 Resident)

ZUMBAAges 16 & olderLet the music move you! The Latin rhythm is sure to please, as you dance your way to fitness.34862 Jan. 7-28Tues., 6:00-7:00 PM$13 ($10 Resident)

continued

CARDIO & STRENGTHAges 16 & olderChallenging circuits, intervals, and stations and the use of various equipment, this class will have something for everyone.Tue., 9:00-10:00 AMThu., 9:00-10:00 AM

MOORHEAD RECREATION DROP-IN CLASSES

AuroraGov.org/PROS

Included with membership. Must reserve in advance.

Included with membership. Must reserve in advance.