Verified AI Software Foundry

요구사항에서 검증된 소프트웨어까지

From Requirements to Verified Software

Aludel은 자연어 요구사항을 입력하면 AI가 설계·생성·검증·자가수정 과정을 반복해 실제 작동 가능한 소프트웨어를 생산하는 AI Software Foundry입니다.

Plausible code is not enough. Aludel builds verified software.

Production Pipeline

Requirements

요구사항 정의

AI Design

AI 설계

Code Gen

코드 생성

Verify

실행 검증

Verified Output

검증 완료

VGDW · Verification-Gated Deterministic Workflow

The Problem

AI가 코드를 짠다 ≠ 작동하는 소프트웨어가 나온다

Code Generation is not Software Delivery

생성형 AI 코딩 도구는 코드를 빠르게 만들지만, 빌드 실패·실행 오류·의존성 누락·API 연동 오류는 여전히 사람이 검증해야 합니다. 외주와 레거시, 보안 제약까지 — 생성과 작동 보증 사이의 간극이 진짜 병목입니다.

Code Generation is not Software Delivery

코드 생성 ≠ 소프트웨어 인도

생성형 AI 코딩 도구는 코드를 빠르게 만들지만, 빌드 실패·실행 오류·의존성 누락·API 연동 오류는 여전히 사람이 검증해야 합니다.

Quality Control Gap

품질 검증의 공백

외주개발은 요구사항 누락, 범위 변경, 납품 후 유지보수 단절 문제가 반복됩니다. 생성과 작동 보증 사이의 간극이 상업적 병목입니다.

Brownfield Legacy Trap

레거시의 덫

노후 PHP·Java·.NET·C·COBOL 시스템은 못 고치고 못 버리는 상태로 남습니다. 인간 개발자가 가장 기피하는 영역입니다.

Cloud AI Restriction

클라우드 AI 제약

금융·공공·전문직·제조 등 보안 민감 조직은 고객 데이터와 소스코드를 외부 클라우드 AI에 투입하기 어렵습니다.

The Solution

Aludel is not a coding tool. It is a software production foundry.

코딩 도구가 아니라, 검증된 작동을 보장하는 소프트웨어 생산 공정

Aludel은 요구사항 정의, AI 설계, 코드 생성, 실행 검증, 오류 수정, 배포·운영을 하나의 공정으로 연결합니다. 사람은 방향과 마일스톤을 승인하고, 반복적인 구현과 검증은 Aludel 파이프라인이 수행합니다.

ProcessVerification GateSelf-Heal Loop

Requirement

요구사항

Plan

계획

Architecture

설계

Code

코드 생성

Typecheck

타입 검사

Build

빌드

Runtime Test

실행 검증

Self-Heal

자가 수정

Verified Output

검증 산출물

Maintenance

운영·유지보수

Requirement
요구사항 · INPUT
Plan
계획 · PROCESS
Architecture
설계 · PROCESS
Code
코드 생성 · PROCESS
Typecheck
타입 검사 · GATE
Build
빌드 · GATE
Runtime Test
실행 검증 · GATE
Self-Heal
자가 수정 · SELF-HEAL
Verified Output
검증 산출물 · OUTPUT
Maintenance
운영·유지보수 · OUTPUT

그럴듯한 코드에서, 검증된 소프트웨어로.

Aludel 제품 데모

요구사항부터 검증까지, Aludel의 전체 생산공정을 확인하세요.

Aludel이 신규 소프트웨어를 구축하고 기존 시스템을 개선하는 전체 과정을 보여드립니다. 불완전한 요구사항을 먼저 확인하고, 역할별 AI가 설계·구현·테스트를 수행한 뒤 실제 검증과 수정 이력까지 남기는 과정을 확인할 수 있습니다.

Aludel 제품 데모 — 요구사항부터 검증까지

YouTube에서 보기

신규 개발 / New Development

Aludel은 코드를 바로 만들지 않습니다. 결제, 세무, 알림, 사업자 확인처럼 실제 운영에서 빠지면 안 되는 조건을 먼저 절차적으로 질문하고, 개발 범위와 검증 기준을 함께 정리합니다. 반복 검증을 통과한 결과물만 최종 검토 단계로 넘어갑니다.

기존 시스템 개선 / Legacy Modernization

Roadmap Preview · 개발 중

많은 기업의 소프트웨어는 새로 만드는 것보다 유지하고 확장하는 일이 더 큽니다. Aludel은 신규 개발에서 검증한 생산 공정을 기존 코드베이스로 넓혀가고 있습니다. 이 영상은 그 목표를 향한 제품 여정의 미리보기입니다.

Technology

Verified by Design

설계 단계부터 검증을 내장하다

결정론적 검증 게이트형 워크플로(VGDW) 위에서, 네 가지 핵심 기술이 "그럴듯한 코드"를 "검증된 소프트웨어"로 전환합니다.

4-Step Verification Ladder

4단 검증 사다리

Typecheck · Build · Runtime Smoke · Multi-model Review. 각 산출물은 결정론적 검증 게이트를 순차적으로 통과해야만 다음 단계로 진행됩니다.

TypecheckBuildRuntime SmokeMulti-model Review

Self-Heal Engine

자가 수정 엔진

오류 발생 시 전체 코드를 다시 생성하지 않고 결함 파일과 코드 영역만 국소 수정합니다. 검증 실패 → 원인 분석 → 수정 → 재검증 루프를 수행하며, 시도 횟수 제한·예산 게이트·반복 오류 중단 구조로 무한 루프를 방지합니다.

검증 실패원인 분석국소 수정재검증

ZettaCouncil

제타카운슬

서로 다른 AI 모델 계열이 결과를 교차 검증합니다. 단일 모델이 놓칠 수 있는 오류와 편향을 줄이는 다자 검증 구조이며, 최종 판단은 실행 결과와 검증 게이트를 기준으로 합니다.

Model AModel BModel CCross-Review

Secure Execution

보안 격리 실행

고객 코드와 데이터를 보호하기 위한 격리 실행환경입니다. 보안 민감 조직·금융·공공·전문직·제조/OT까지 확장 가능한 Private Foundry 방향으로, 클라우드 AI 사용이 어려운 조직을 위한 온프레미스·망분리 대응을 설계합니다.

격리 실행데이터 주권온프레미스망분리

Use Cases

Where Aludel Works

Aludel이 작동하는 현장

Small Business Software

소상공인·중소기업 소프트웨어

온라인몰, 예약·주문 시스템, 관리자 페이지, 고객관리 시스템 등 개발조직이 부족한 조직을 위한 실무 소프트웨어를 생산합니다.

Legacy Modernization

레거시 현대화

PHP·Java·.NET·C·COBOL 등 노후 시스템을 분석하고, 부분 마이그레이션부터 전체 전환까지 단계적으로 현대화합니다.

Private Foundry

프라이빗 파운드리

금융·공공·전문직·제조/OT 등 보안 민감 조직을 위한 격리형(L3) 소프트웨어 생산 환경. 데이터 반출 없이 조직 내부 망에서 작동합니다.

AI Maintenance

AI 유지보수

배포 이후의 기능 개선, 보안 패치, 유지보수를 자동화합니다. 로그 분석 기반 수정안과 승인형 패치로 운영을 지속합니다.

Product Status

Private Build in Progress

정식 공개 전, 의도된 프라이빗 빌드 단계

Aludel은 현재 내부 PoC와 실증 데이터를 기반으로 MVP 전환을 진행하고 있습니다. 정식 공개 전까지 제한된 파트너와 함께 데모 및 파일럿을 준비하고 있습니다.

정식 공개 서비스

Public Service

Under Construction

제한 파트너 대상 데모

Private Demo

Preparing

파일럿 협의

Pilot Partnership

Open for Discussion

Company · Matière Ltd.

Building AI products from art, data, and software engineering.

예술·데이터·소프트웨어 엔지니어링에서 출발한 AI 기술 회사

2024

AliceDoor

예비창업패키지 선정, 마띠에르 주식회사 설립. 생성형 AI 아트 기반 디지털 갤러리 플랫폼 개발.

2024–2025

Proof

4개 AI 엔진 연동, NFT 민팅, 한국AI작가협회 MOU, 롯데 스파치오 위르 오프라인 전시 적용, 초기 계약 성과.

2025

Enterprise AI

기업용 AI/SI 프로젝트 수행. 기업용 챗봇·사원 교육용 AI 서비스 방향으로 확장.

2026

Aludel

AI Software Foundry 개발 진행. 용인 DeepTech STARTUP Batch 2026 선정기업.

Heritage

From AliceDoor to Aludel

AliceDoor에서 Aludel로 이어진 축적

AliceDoor · 2024Aludel · 2026

IP & Trust

Intellectual Property & Trust

지식재산과 신뢰

Domestic Patents (Filing)

국내 특허 출원 2건

① NFT 대응 대체불가오브젝트(NFO) 디코딩 방법 및 장치 ② 분산저장 기술 이용 디지털 법률행위 기록 서비스 방법 및 장치

Digital Rights & Integrity

저작권·무결성 기술 경험

Government Program Track Record

정부지원사업 수행 이력

예비창업패키지부터 용인 DeepTech STARTUP Batch 2026까지 정부지원사업 수행 이력을 보유합니다.

Yongin-based AI Company

용인 소재 AI 기업

경기도 용인에 소재한 AI 기술 기업으로, 여성기업 트랙과 딥테크 액셀러레이션에 참여하고 있습니다.

Team

검증 철학 · 생산 공정 · 요구사항 인터페이스

3인 팀이 파운드리의 세 계층 — 검증 철학, 생산 공정, 요구사항 인터페이스 — 에 1:1로 대응합니다.

Lee Ji Yeon

이지연

CEO

자율주행 SW 20년 경력. AI 서비스 사업화 및 고신뢰 소프트웨어 공정 총괄. 검증(verified) 철학의 원점.

Ha Sang Yoon

하상윤

CTO

IT/SW 25년 경력. Aludel 아키텍처 설계 및 구현 총괄. 파운드리 생산 공정을 책임집니다.

Bae Ha Young

배하영

Planning Lead

서비스 기획, 콘텐츠 운영, 고객 경험 설계. 요구사항 인터페이스와 시나리오를 담당합니다.

Contact

Build verified software with Aludel.

Aludel은 현재 파일럿 파트너, 투자자, 액셀러레이터, 기업 고객과의 협의를 열어두고 있습니다. 아래 양식을 작성하면 기본 메일 앱으로 연결됩니다.

Website: www.aludel.io
Email: ceo@aludel.io
Company: Matière Ltd. / 마띠에르 주식회사
Location: Yongin, Gyeonggi-do, Republic of Korea