Integrity (operating system)
ઇન્ટિગ્રિટી અને ઇન્ટિગ્રિટી-178બી એ ગ્રીન હિલ્સ સોફ્ટવેર દ્વારા ઉત્પાદિત અને માર્કેટિંગ કરાયેલ રીઅલ-ટાઇમ ઓપરેટિંગ સિસ્ટમ્સ (આરટીઓએસ) છે. ઇન્ટિગ્રિટી ઇન્ટિગ્રિટી પોઝિક્સ-પ્રમાણિત છે અને 32-બિટ્સ અથવા 64-બિટ્સની એમ્બેડેડ સિસ્ટમ્સમાં ઉપયોગ માટે બનાવાયેલ છે. સપોર્ટેડ કમ્પ્યુટર આર્કિટેક્ચરમાં એઆરએમ, બ્લેકફિન, કોલ્ડફાયર, એમઆઇપીએસ, પાવરપીસી, એક્સસ્કેલ અને x86 નો સમાવેશ થાય છે. ઇન્ટિગ્રિટીને વુલ્ફએસએસએલ જેવી લોકપ્રિય એસએસએલ/ટીએલએસ લાઈબ્રેરીઓ દ્વારા ટેકો આપવામાં આવે છે. ઇન્ટિગ્રિટી-178બી ઇન્ટિગ્રિટી-178બી એ ઇન્ટિગ્રિટીનું ડીઓ-178બી-સુસંગત સંસ્કરણ છે. તેનો ઉપયોગ બી-2, એફ-16, એફ-22 અને એફ-35 જેવા કેટલાક લશ્કરી વિમાનો અને વ્યાપારી વિમાન એરબસ એ 380માં થાય છે. તેની કર્નલ ડિઝાઇન ડાયનેમિક મેમરી ફાળવણી જેવી સુવિધાઓને દૂર કરીને મર્યાદિત કમ્પ્યુટિંગ સમયની બાંયધરી આપે છે. ઓડિટિંગ અને સુરક્ષા ઇજનેરી ક્ષમતાઓએ તેને રાષ્ટ્રીય સુરક્ષા એજન્સી (NSA) દ્વારા મૂલ્યાંકન ખાતરી સ્તર (EAL) 6 રેટિંગ મેળવવાની મંજૂરી આપી છે. મૂલ્યાંકન માટેના સુરક્ષા લક્ષ્યમાં મૂલ્યાંકનનું લક્ષ્ય (ટી. ઓ. ઈ.) માળખું ફાઇલ સિસ્ટમ અને નેટવર્કિંગ જેવા ઘટકોને ટી. ઓ. ઈ. ની વ્યાખ્યામાંથી બાકાત રાખે છે, જે લગભગ સંપૂર્ણપણે મુખ્ય કર્નલ પર ધ્યાન કેન્દ્રિત કરે છે. અન્ય ઓપરેટિંગ સિસ્ટમો, જેમ કે વિન્ડોઝ, મેકઓએસ અથવા લિનક્સ, જો કે ખાતરીના નીચલા સ્તરે મૂલ્યાંકન કરવામાં આવે છે, સામાન્ય રીતે આ ક્ષમતાઓને તેમના ટી. ઓ. ઈ. માં સામેલ કરે છે. સપોર્ટેડ પ્રોસેસર આર્કિટેક્ચર ઇન્ટિગ્રિટી આર્કિટેક્ચર સપોર્ટ પેકેજ (એએસપી) ઘણા પ્રોસેસર પરિવારોને ટેકો પૂરો પાડે છેઃ પાવરપીસી/પાવર આઇએસએ એએમડી અને ઇન્ટેલઃ x86 એઆરએમ હોલ્ડિંગ્સઃ એઆરએમ એમઆઇપીએસ સંદર્ભો બાહ્ય કડીઓ ઇન્ટિગ્રિટી-178બી એઆરએમ ઓપરેટિંગ સિસ્ટમ્સ એમ્બેડેડ ઓપરેટિંગ સિસ્ટમ્સ માઇક્રોકર્નલ-આધારિત ઓપરેટિંગ સિસ્ટમ્સ માઇક્રોકર્નલ એમઆઇપીએસ ઓપરેટિંગ સિસ્ટમ્સ પાવરપીસી ઓપરેટિંગ સિસ્ટમ્સ પ્રોપરાઇટરી ઓપરેટિંગ સિસ્ટમ્સ રિયલ-ટાઇમ ઓપરેટિંગ સિસ્ટમ્સ